as2252258/kiri-http-server
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases 2 Wiki Activity

modify plugin name

Browse Source
This commit is contained in:
向林
2022-07-11 16:31:57 +08:00
parent 4ebd409853
commit 5b46f20b9d
1 changed files with 1 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
State.php
+1 -3
View File
@@ -49,9 +49,7 @@ class State extends Component
return; return;
} }
while (checkPortIsAlready($port)) { while (checkPortIsAlready($port)) {
if (Process::kill($pid, 0)) { Process::kill($pid, 0) && Process::kill($pid, SIGTERM);
Process::kill($pid, SIGTERM);
}
usleep(300); usleep(300);
} }
} }