diff options
-rw-r--r-- | php-src/Worker.php | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/php-src/Worker.php b/php-src/Worker.php index 5835baf2..3e013090 100644 --- a/php-src/Worker.php +++ b/php-src/Worker.php @@ -56,6 +56,9 @@ class Worker return $this->receive($header); } + // no context for the termination. + $header = null; + // Expect process termination return null; } |