hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-01-09 20:50:21 +01:00
Code Issues Packages Projects Releases Wiki Activity

JavaScript: Await termination of extractor threadpool.

Browse Source
This commit is contained in:
Max Schaefer
2018-11-28 11:01:24 +00:00
parent 3b5315aa7e
commit 7765c6d486
1 changed files with 8 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
javascript/extractor/src/com/semmle/js/extractor/AutoBuild.java
View File

@@ -21,6 +21,7 @@ import java.util.List;
import java.util.Set;
import java.util.concurrent.ExecutorService;
import java.util.concurrent.Executors;
import java.util.concurrent.TimeUnit;
import java.util.stream.Stream;
import com.semmle.js.extractor.ExtractorConfig.SourceType;
@@ -403,8 +404,14 @@ public class AutoBuild {
}
private void shutdownThreadPool() {
if (threadPool != null)
if (threadPool != null) {
threadPool.shutdown();
try {
threadPool.awaitTermination(365, TimeUnit.DAYS);
} catch (InterruptedException e) {
Exceptions.ignore(e, "Awaiting termination is not essential.");
}
}
}
/**