From 95719adc40307c3a6c561a3d85ed4546d02b0eeb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Mr=C2=B7x?= Date: Fri, 20 Aug 2021 10:40:37 +0800 Subject: [PATCH] =?UTF-8?q?=E6=94=B9=E5=90=8D?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- Server/ServerManager.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Server/ServerManager.php b/Server/ServerManager.php index 1410b5d6..2abb9383 100644 --- a/Server/ServerManager.php +++ b/Server/ServerManager.php @@ -339,7 +339,7 @@ class ServerManager } $serverPid = file_get_contents(storage('.swoole.pid')); - if (!empty($serverPid)) { + if (!empty($serverPid) && shell_exec('ps -ef | grep ' . $serverPid . ' | grep -v grep')) { Process::kill($serverPid, SIGTERM); }