Explorar el Código

Merge pull request #88 from Garveens-Forks/master

Avoid a problem which caused by docker always use a same pid
walkor hace 9 años
padre
commit
b6f44f13b7
Se han modificado 1 ficheros con 1 adiciones y 1 borrados
  1. 1 1
      Worker.php

+ 1 - 1
Worker.php

@@ -611,7 +611,7 @@ class Worker
         $master_is_alive = $master_pid && @posix_kill($master_pid, 0);
         // Master is still alive?
         if ($master_is_alive) {
-            if ($command === 'start') {
+            if ($command === 'start' && posix_getpid() != $master_pid) {
                 self::log("Workerman[$start_file] already running");
                 exit;
             }