debug

2026-04-23 18:12:23 +08:00
parent c1ac050c6a
commit 04242363a8
2 changed files with 7 additions and 2 deletions
--- a/code/extend/microserver/ServerManage.php
+++ b/code/extend/microserver/ServerManage.php
@@ -336,7 +336,12 @@ class ServerManage
    private function cleanupPidFile(): void
    {
        $strPidFile = (string) ($this->arrDynamicConfig['service']['pid_file'] ?? '');
-        if ($strPidFile !== '' && is_file($strPidFile)) {
+        if ($strPidFile === '' || !is_file($strPidFile)) {
+            return;
+        }
+
+        $intPid = (int) trim((string) @file_get_contents($strPidFile));
+        if ($intPid === posix_getpid()) {
            @unlink($strPidFile);
        }
    }