改名

2021-08-17 18:48:02 +08:00
parent 5ba5c930a0
commit 14b83e418d
1 changed files with 1 additions and 2 deletions
@@ -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);
 		}
 	}