diff --git a/push/PushMonitor.php b/push/PushMonitor.php index 5cf34cb..4d68b6d 100644 --- a/push/PushMonitor.php +++ b/push/PushMonitor.php @@ -223,6 +223,8 @@ class Process public function kill() { + global $debug; + $status = proc_get_status($this->pointer); if($status['running'])