Address comment

lf-lang · Dec 22, 2023 · 2aad433 · 2aad433
1 parent 03259d8
commit 2aad433
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/core/src/main/java/org/lflang/federated/launcher/FedLauncherGenerator.java b/core/src/main/java/org/lflang/federated/launcher/FedLauncherGenerator.java
@@ -206,7 +206,10 @@ public void doGenerate(List<FederateInstance> federates, RtiConfig rtiConfig) {
                 "wait $RTI || EXITED_SUCCESSFULLY=false",
                 "for pid in \"${pids[@]}\"",
                 "do",
-                "    wait $pid || EXITED_SUCCESSFULLY=false",
+                "    wait $pid",
+                "    if [ $? -ne 0 -a $? -ne 127 ]; then",
+                "        EXITED_SUCCESSFULLY=false",
+                "    fi",
                 "done",
                 "echo \"All done.\""))
         .append("\n");