From 955dd9c05263aec960d4000d01cdc5780101d081 Mon Sep 17 00:00:00 2001
From: Dennis Eichhorn <spl1nes.com@googlemail.com>
Date: Thu, 26 Oct 2017 19:05:11 +0200
Subject: [PATCH] Fix #133

---
 Utils/JobQueue/JobQueue.php | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/Utils/JobQueue/JobQueue.php b/Utils/JobQueue/JobQueue.php
index 0ac7b16d0..bbb5df5b7 100644
--- a/Utils/JobQueue/JobQueue.php
+++ b/Utils/JobQueue/JobQueue.php
@@ -91,12 +91,7 @@ class JobQueue
         fclose(STDOUT);
         fclose(STDERR);
 
-        function shutdown()
-        {
-            posix_kill(posix_getpid(), SIGHUP);
-        }
-
-        register_shutdown_function('shutdown');
+        register_shutdown_function(function() { posix_kill(posix_getpid(), SIGHUP); });
     }
 
     public function setRunning(bool $run = true) /* : void */