Fix for issue explained in comment #15 of bug #1

2009-08-31 08:55:52 +00:00 · 2009-08-31 08:55:52 +00:00 · f85d16d16f
commit f85d16d16f
parent bd66c00727
1 changed files with 5 additions and 2 deletions
--- 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();