From f85d16d16f0726e15fcb66b9fc22daa8cb0c9f65 Mon Sep 17 00:00:00 2001
From: "alessandro.segala"
 <alessandro.segala@aba10acc-5c0e-11de-992f-fdd7e25b9163>
Date: Mon, 31 Aug 2009 08:55:52 +0000
Subject: [PATCH] Fix for issue explained in comment #15 of bug #1

---
 push/PushMonitor.php | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/push/PushMonitor.php b/push/PushMonitor.php
index fdb00f0..10338d0 100644
--- a/push/PushMonitor.php
+++ b/push/PushMonitor.php
@@ -132,9 +132,12 @@ while(true)
 			}
 			break;
 		}
-		elseif($debug)
+		else
 		{
-			echo "Attempt ",$i+1," failed\n";
+			if($debug)
+			{
+				echo "Attempt ",$i+1," failed\n";
+			}
 			if($process)
 			{
 				$process->kill();