JavaScript: Improve logging.

Max Schaefer · Max Schaefer · commit 3b5315aa7e0a · 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
@@ -393,10 +393,13 @@ public void run() throws IOException {
 	private void startThreadPool() {
 		int defaultNumThreads = Runtime.getRuntime().availableProcessors();
 		int numThreads = Env.systemEnv().getInt("LGTM_INDEX_THREADS", defaultNumThreads);
-		if (numThreads > 1)
+		if (numThreads > 1) {
+			System.out.println("Parallel extraction with " + numThreads + " threads.");
 			threadPool = Executors.newFixedThreadPool(numThreads);
-		else
+		} else {
+			System.out.println("Single-threaded extraction.");
 			threadPool = null;
+		}
 	}
 
 	private void shutdownThreadPool() {
@@ -680,6 +683,7 @@ private void logEndProcess(long timedLogMessageStart, String message) {
 		long end = System.nanoTime();
 		int milliseconds = (int) ((end - timedLogMessageStart) / 1_000_000);
 		System.out.println(message + " (" + milliseconds + " ms)");
+		System.out.flush();
 	}
 
 	public static void main(String[] args) {
