util: use 9 for SIGKILL (#360)

2023-01-21 09:01:50 -08:00 · 2023-01-21 09:01:50 -08:00 · a4f276b605
parent 07e4467e07
commit a4f276b605
1 changed files with 1 additions and 1 deletions
--- a/lib/Util.php
+++ b/lib/Util.php
@ -157,7 +157,7 @@ class Util

        // kill all pids
        foreach ($pids as $pid) {
-            posix_kill((int) $pid, SIGKILL);
+            posix_kill((int) $pid, 9); // SIGKILL
        }
    }
 }