Fix TypeError reported in #12 #14

Merged
MarcHagen merged 1 commits from patch-1 into main 2023-03-01 18:45:08 +08:00

View File

@ -345,7 +345,7 @@ class LookingGlass
// kill remaining processes
foreach ($pids as $pid) {
if (is_numeric($pid)) {
posix_kill($pid, 9);
posix_kill((int) $pid, 9);
}
}
}