Bug fix

paulscherrerinstitute · Mar 1, 2022 · e9eecaf · e9eecaf
1 parent 47cd08b
commit e9eecaf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/java/ch/psi/jstriptool/App.java b/src/main/java/ch/psi/jstriptool/App.java
@@ -491,7 +491,7 @@ public void windowClosing(java.awt.event.WindowEvent e) {
             startLock.wait();
         }
 
-        if (isArgumentDefined("cli")){
+        if (hasArgument("cli")){
             //Run console        
             String cursor = "> ";
             try (BufferedReader reader = new BufferedReader(new InputStreamReader(System.in))) {