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();