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); } }