From 2d2866d9edde1a3265fd6f86bcdba82e94bdbd8a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mr=C2=B7x?= <as2252258@163.com>
Date: Fri, 6 Aug 2021 17:12:36 +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 | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/Server/ServerManager.php b/Server/ServerManager.php
index 36e7f07d..b3937711 100644
--- a/Server/ServerManager.php
+++ b/Server/ServerManager.php
@@ -302,11 +302,9 @@ class ServerManager extends Abstracts\Server
 		if (!($pid = $this->portIsAlready($port))) {
 			return;
 		}
-
-		exec('kill -15 ' . $pid, $execResult);
 		while ($this->portIsAlready($port)) {
-			usleep(100);
-			exec('kill -15 ' . $pid, $execResult);
+			exec('kill ' . $pid, $execResult);
+			usleep(300);
 		}
 	}