fix: race condition if pid too long to kill (#80)

Signed-off-by: Todd Baert <[email protected]>
open-feature · Nov 20, 2023 · 4375630 · 4375630
1 parent 3d7d0a0
commit 4375630
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/scripts/restart-wrapper.sh b/scripts/restart-wrapper.sh
@@ -25,4 +25,7 @@ do
     child=$!
     sleep 5
     echo "killing pid $child..." && sleep 5 && kill -9 "$child"
+    while kill -0 "$child" 2> /dev/null; do # wait for child to exit (kill -0 is falsy if pid is gone)
+        sleep 1
+    done
 done