Update benchmark-server-run.sh

Cysharp · Nov 2, 2024 · e2d0d16 · e2d0d16
1 parent f81c513
commit e2d0d16
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/scripts/benchmark-server-run.sh b/.github/scripts/benchmark-server-run.sh
@@ -105,7 +105,7 @@ echo "::group::Kill existing process"
     ps -eo pid,cmd | while read -r pid cmd; do
       if echo "$cmd" | grep -E "^./$binary_name" >/dev/null 2>&1; then
         print "($i/10) Found & killing process $pid ($cmd)"
-        kill "$pid"
+        kill -9 "$pid"
       fi
     done
     sleep 0.2