Fix type convert error

This commit is contained in:
crazywhalecc
2022-03-26 14:51:25 +08:00
parent b6e135a642
commit 971f03ae0f
3 changed files with 4 additions and 7 deletions

View File

@@ -95,7 +95,7 @@ class SignalListener
$name = explode('.', $file);
if (end($name) == 'pid' && $name[0] !== 'manager') {
$pid = file_get_contents($file_path . '/' . $file);
Process::kill($pid, SIGKILL);
Process::kill((int) $pid, SIGKILL);
}
unlink($file_path . '/' . $file);
}