Make exit code conditional on non-0 to keep the GUI alive.

AlloyTools · Apr 24, 2024 · d1b71cf · d1b71cf
1 parent d4e5880
commit d1b71cf
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/org.alloytools.alloy.core/src/main/java/org/alloytools/alloy/core/infra/AlloyDispatcher.java b/org.alloytools.alloy.core/src/main/java/org/alloytools/alloy/core/infra/AlloyDispatcher.java
@@ -112,7 +112,8 @@ public static void main(String[] args) {
         } catch (Exception e) {
             e.printStackTrace();
         }
-        System.exit(exitCode);
+        if (exitCode != 0)
+            System.exit(exitCode);
     }
 
     public void __alloy(BaseOptions options) throws Exception {