Update StartMAS.java

jason-lang · Apr 15, 2024 · 2088396 · 2088396
1 parent 507d92c
commit 2088396
Showing 1 changed file with 10 additions and 8 deletions.
diff --git a/jason-cli/src/main/java/jason/cli/mas/StartMAS.java b/jason-cli/src/main/java/jason/cli/mas/StartMAS.java
@@ -54,20 +54,23 @@ public void run() {
             return;
         }
 
-        if (useGradle) {
-            if (mas2j.isEmpty()) {
-                parent.parent.errorMsg("a mas2j file should be informed. E.g., jason mas start --use-gradle --mas2j=t.mas2j");
-                return;
-            }
-
+        // get MAS name from .mas2j
+        if (masName.isEmpty() && !mas2j.isEmpty()) {
             try {
                 var parser = new mas2j(new FileInputStream(mas2j));
                 var project = parser.mas();
                 masName = project.getSocName();
-                parent.parent.println("MAS name (from mas2j) is "+masName);
+                parent.parent.println("MAS name (from mas2j) is " + masName);
             } catch (Exception e) {
                 e.printStackTrace();
             }
+        }
+
+        if (useGradle) {
+            if (mas2j.isEmpty()) {
+                parent.parent.errorMsg("a mas2j file should be informed. E.g., jason mas start --use-gradle --mas2j=t.mas2j");
+                return;
+            }
 
             if (parent.parent.isTerminal())
                 new Thread(() -> new Run().run(mas2j, true)).start();
@@ -77,7 +80,6 @@ public void run() {
             return;
         }
 
-
         var existing = RunningMASs.getAllRunningMAS().keySet();
         if (masName.isEmpty()) {
             masName = "mas_" + (masCount++);