JavaScript: Await termination of extractor threadpool.

Max Schaefer · Max Schaefer · commit 7765c6d486ee · 2019-01-17T09:29:49.000Z
diff --git a/javascript/extractor/src/com/semmle/js/extractor/AutoBuild.java b/javascript/extractor/src/com/semmle/js/extractor/AutoBuild.java
@@ -21,6 +21,7 @@
 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 @@ private void startThreadPool() {
 	}
 
 	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.");
+			}
+		}
 	}
 
 	/**
