diff --git a/Server/ServerManager.php b/Server/ServerManager.php index 138c0876..13ea4108 100644 --- a/Server/ServerManager.php +++ b/Server/ServerManager.php @@ -315,6 +315,7 @@ class ServerManager return; } while ($this->checkPortIsAlready($port)) { + var_dump($port); exec('kill ' . $pid, $execResult); usleep(300); }