فهرست منبع

Update Worker.php

walkor 2 سال پیش
والد
کامیت
9f0e17ad7c
1فایلهای تغییر یافته به همراه1 افزوده شده و 0 حذف شده
  1. 1 0
      src/Worker.php

+ 1 - 0
src/Worker.php

@@ -1503,6 +1503,7 @@ class Worker
         elseif (0 === $pid) {
             \srand();
             \mt_srand();
+            static::$_gracefulStop = false;
             if ($worker->reusePort) {
                 $worker->listen();
             }