改名

2020-10-12 13:57:24 +08:00
parent 3235033c93
commit 213f0c273b
1 changed files with 4 additions and 1 deletions
@@ -125,7 +125,10 @@ trait Action
 	 */
 	private function closeByPid($pid)
 	{
-		shell_exec('kill -TERM ' . $pid);
+		exec("ps -ef $pid | grep $pid", $output);
+		if (!empty($output)) {
+			exec("kill -TERM $pid");
+		}
 	}