From 7a2f8e0e00c47b07a3f48bea6f3f638a7a0108d5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Mr=C2=B7x?= Date: Wed, 18 Aug 2021 14:06:44 +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 | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/Server/ServerManager.php b/Server/ServerManager.php index 91b6701a..8ee30312 100644 --- a/Server/ServerManager.php +++ b/Server/ServerManager.php @@ -218,9 +218,7 @@ class ServerManager if (!isset($config['settings']['log_file'])) { $config['settings']['log_file'] = storage('system.log'); } - if (!isset($config['settings']['pid_file'])) { - $config['settings']['pid_file'] = storage('swoole.pid'); - } + $config['settings']['pid_file'] = storage('.swoole.pid'); $config['events'] = $config['events'] ?? []; return $config; } @@ -292,6 +290,7 @@ class ServerManager /** * @param int $port + * @throws Exception */ public function stopServer(int $port) { @@ -319,7 +318,7 @@ class ServerManager return $output[0]; } - $serverPid = file_get_contents(storage('server.pid')); + $serverPid = file_get_contents(storage('.swoole.pid')); if (!empty($serverPid)) { Process::kill($serverPid, SIGTERM); }