diff options
author | Wolfy-J <[email protected]> | 2018-06-03 14:07:02 +0300 |
---|---|---|
committer | Wolfy-J <[email protected]> | 2018-06-03 14:07:02 +0300 |
commit | 3c3ce22b7f1620bbcb0f787b26f1b1db4487470b (patch) | |
tree | 653ba03d524f16900a3915fd5a8ff235988b9b19 /php-src | |
parent | c95bb9a1f60dc7f1087abe5d53ec9d9a866cd0cb (diff) |
fix header within termination
Diffstat (limited to 'php-src')
-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; } |