Merge pull request #14 from MarcHagen/patch-1

Fix TypeError reported in #12
This commit is contained in:
Tamer 2023-03-01 11:45:07 +01:00 committed by GitHub
commit 33e9d18373
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

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