Ignore kill errors

efrecon · Mar 16, 2024 · 7534a67 · 7534a67
1 parent c087e08
commit 7534a67
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/orchestrator.sh b/orchestrator.sh
@@ -93,7 +93,7 @@ cleanup() {
 
   for pid in $ORCHESTRATOR_PIDS; do
     verbose "Killing runner loop $pid"
-    kill "$pid"
+    kill "$pid" 2>/dev/null || true
   done
   verbose "Waiting for runners to die"
   # shellcheck disable=SC2086 # We want to wait for all pids