feat: add custom uncaught exception handler to log errors

DEIS-Tools · Dec 3, 2022 · b9c188c · b9c188c
1 parent a0efd2c
commit b9c188c
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/src/main/java/dk/cs/aau/huppaal/HUPPAAL.java b/src/main/java/dk/cs/aau/huppaal/HUPPAAL.java
@@ -150,6 +150,18 @@ private void forceCreateFolder(final String directoryPath) throws IOException {
         FileUtils.forceMkdir(directory);
     }
 
+    @Override
+    public void init() {
+        Thread.setDefaultUncaughtExceptionHandler((t, e) -> {
+            try {
+                Log.addError(t.getName(), e.getMessage());
+            } catch(Throwable throwable) {
+                throwable.printStackTrace();
+            }
+            e.printStackTrace();
+        });
+    }
+
     @Override
     public void start(final Stage stage) throws Exception {
         // Load or create new project