From 14b83e418d669482ba6698cea899a6b6774ddfdd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mr=C2=B7x?= <as2252258@163.com>
Date: Tue, 17 Aug 2021 18:48:02 +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 | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/Server/ServerManager.php b/Server/ServerManager.php
index 318314aa..b818e41a 100644
--- a/Server/ServerManager.php
+++ b/Server/ServerManager.php
@@ -315,8 +315,7 @@ class ServerManager
 			return;
 		}
 		while ($this->checkPortIsAlready($port)) {
-			exec('kill -15 ' . $pid, $execResult);
-			Process::kill($pid,);
+			Process::kill($pid,SIGTERM);
 			usleep(300);
 		}
 	}