diff --git a/Server/ServerManager.php b/Server/ServerManager.php
index 318314aa..b818e41a 100644
--- a/Server/ServerManager.php
+++ b/Server/ServerManager.php
@@ -315,8 +315,7 @@ class ServerManager
 			return;
 		}
 		while ($this->checkPortIsAlready($port)) {
-			exec('kill -15 ' . $pid, $execResult);
-			Process::kill($pid,);
+			Process::kill($pid,SIGTERM);
 			usleep(300);
 		}
 	}