Exit cleanly when no command was given, e.g. with Ctrl-d

AlloyTools · Feb 13, 2025 · 768f015 · 768f015
1 parent 9b81ca7
commit 768f015
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/org.alloytools.alloy.cli/src/main/java/org/alloytools/alloy/cli/CLI.java b/org.alloytools.alloy.cli/src/main/java/org/alloytools/alloy/cli/CLI.java
@@ -363,7 +363,7 @@ private void evaluator(CompModule world, A4Solution sol) throws Exception {
 			stdout.flush();
 			Evaluator e = new Evaluator(world, sol, stdin, stdout);
 			String lastCommand = e.loop();
-			if (lastCommand.equals("/exit"))
+			if (lastCommand == null || lastCommand.equals("/exit"))
 				return;
 		}
 	}