Ver código fonte

Update Worker.php

walkor 7 anos atrás
pai
commit
8d3ab8668a
1 arquivos alterados com 2 adições e 0 exclusões
  1. 2 0
      Worker.php

+ 2 - 0
Worker.php

@@ -1339,6 +1339,8 @@ class Worker
             static::$_idMap[$worker->workerId][$id]   = $pid;
         } // For child processes.
         elseif (0 === $pid) {
+            srand();
+            mt_srand();
             if ($worker->reusePort) {
                 $worker->listen();
             }