update pid file name

LTaooo · LTaooo · commit 997d047e0038 · 2023-09-08T18:41:13.000+08:00
diff --git a/src/WorkermanHttpServer.php b/src/WorkermanHttpServer.php
@@ -51,7 +51,7 @@ private function setRuntime(): void
         if (empty($enableWorkermanLog) && $this->isLinux()) {
             Worker::$logFile = '/dev/null';
         }
-        Worker::$pidFile = 'runtime/' . uniqid('workerman_', true) . '.pid';
+        Worker::$pidFile = 'runtime/' . uniqid('microphp_', true) . '.pid';
     }
 
     private function isLinux(): bool

Original file line number	Diff line number	Diff line change
`@@ -51,7 +51,7 @@ private function setRuntime(): void`
`51`	`51`	`if (empty($enableWorkermanLog) && $this->isLinux()) {`
`52`	`52`	`Worker::$logFile = '/dev/null';`
`53`	`53`	`}`
`54`		`- Worker::$pidFile = 'runtime/' . uniqid('workerman_', true) . '.pid';`
	`54`	`+ Worker::$pidFile = 'runtime/' . uniqid('microphp_', true) . '.pid';`
`55`	`55`	`}`
`56`	`56`
`57`	`57`	`private function isLinux(): bool`