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