From 3374be6f5a403f2243e6c5d6485bb28a8022ed8e Mon Sep 17 00:00:00 2001 From: "alessandro.segala" Date: Sat, 20 Jun 2009 13:41:15 +0000 Subject: [PATCH] Forgot a 'global' --- push/PushMonitor.php | 2 ++ 1 file changed, 2 insertions(+) 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'])