From ce65fcedc1213dbb49d21bd74e05bccf056fa391 Mon Sep 17 00:00:00 2001
From: Max Schaefer <max@semmle.com>
Date: Fri, 30 Nov 2018 13:00:48 +0000
Subject: [PATCH] JavaScript: Abort AutoBuild if an exception happens in one of
 the extractor threads.

---
 .../extractor/src/com/semmle/js/extractor/AutoBuild.java    | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/javascript/extractor/src/com/semmle/js/extractor/AutoBuild.java b/javascript/extractor/src/com/semmle/js/extractor/AutoBuild.java
index 337ba00f61f..42b969f191e 100644
--- a/javascript/extractor/src/com/semmle/js/extractor/AutoBuild.java
+++ b/javascript/extractor/src/com/semmle/js/extractor/AutoBuild.java
@@ -671,8 +671,10 @@ public class AutoBuild {
 			long start = logBeginProcess("Extracting " + file);
 			extractor.extract(f, state);
 			logEndProcess(start, "Done extracting " + file);
-		} catch (IOException e) {
-			throw new ResourceError("Exception while extracting " + file + ".", e);
+		} catch (Throwable t) {
+			System.err.println("Exception while extracting " + file + ".");
+			t.printStackTrace(System.err);
+			System.exit(1);
 		}
 	}