改名
This commit is contained in:
@@ -74,7 +74,7 @@ class HotReload extends Command
|
|||||||
if (file_exists(storage('.manager.pid'))) {
|
if (file_exists(storage('.manager.pid'))) {
|
||||||
$pid = (int)file_get_contents(storage('.manager.pid'));
|
$pid = (int)file_get_contents(storage('.manager.pid'));
|
||||||
if ($pid > 0 && Process::kill($pid, 0)) {
|
if ($pid > 0 && Process::kill($pid, 0)) {
|
||||||
Process::kill($pid, -15);
|
Process::kill($pid, 15) && Process::wait(true);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
file_put_contents(storage('.manager.pid'), getmypid());
|
file_put_contents(storage('.manager.pid'), getmypid());
|
||||||
|
|||||||
Reference in New Issue
Block a user