Different kill (#115)

green-coding-solutions · Feb 12, 2025 · 2601fdb · 2601fdb
1 parent 7ff5628
commit 2601fdb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/setup.sh b/scripts/setup.sh
@@ -105,7 +105,7 @@ function end_measurement {
     if [[ $(uname) == "Darwin" ]]; then
         kill_tree $(pgrep -f "$(dirname "$0")/cpu-utilization-macos.sh" || true)
     else
-        kill_tree $(pgrep -f "$(dirname "$0")/cpu-utilization-linux.sh" || true)
+        pkill -SIGTERM -f "$(dirname "$0")/cpu-utilization-linux.sh"  || true;
     fi
 }