From 839ffe886e625bd1d758d54e8348b821a02085e0 Mon Sep 17 00:00:00 2001
From: Marten Lohstroh <marten@berkeley.edu>
Date: Fri, 22 Dec 2023 17:27:42 -0600
Subject: [PATCH] Address comment

---
 .../org/lflang/federated/launcher/FedLauncherGenerator.java  | 5 ++++-
 1 file changed, 4 insertions(+), 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
index 36a2e14064..9373a07bd7 100644
--- 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");