From efd2122038cd340d222ea0faab92599d74c7670e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mr=C2=B7x?= <as2252258@163.com>
Date: Fri, 6 Aug 2021 17:11:30 +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 | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Server/ServerManager.php b/Server/ServerManager.php
index 6ff438c4..36e7f07d 100644
--- a/Server/ServerManager.php
+++ b/Server/ServerManager.php
@@ -306,6 +306,7 @@ class ServerManager extends Abstracts\Server
 		exec('kill -15 ' . $pid, $execResult);
 		while ($this->portIsAlready($port)) {
 			usleep(100);
+			exec('kill -15 ' . $pid, $execResult);
 		}
 	}