giuseppenuc/php-apns
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

This should fix the error some users are experiencing

Browse Source
This commit is contained in:
alessandro.segala 2009-06-21 16:06:16 +00:00
parent 3374be6f5a
commit bd66c00727
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
push/PushMonitor.php
View File

@ -135,6 +135,11 @@ while(true)
elseif($debug) elseif($debug)
{ {
echo "Attempt ",$i+1," failed\n"; echo "Attempt ",$i+1," failed\n";
if($process)
{
$process->kill();
$process = false;
}
} }
} }
@ -234,7 +239,7 @@ class Process
fclose($this->pipes[2]); fclose($this->pipes[2]);
$ppid = $status['pid']; $ppid = $status['pid'];
$pids = preg_split('/\s+/', `ps -o pid --no-heading --pid $ppid`); $pids = preg_split('/\s+/', `ps -o pid --no-heading --ppid $ppid`);
foreach($pids as $pid) foreach($pids as $pid)
{ {
if(is_numeric($pid)) if(is_numeric($pid))