| @@ -72,7 +72,7 @@ discard block | ||
| 72 | 72 |          while (count($pool)) { | 
| 73 | 73 |              foreach ($pool as $i => $result) { | 
| 74 | 74 | $etat = proc_get_status($result); | 
| 75 | -                if($etat['running'] == FALSE) { | |
| 75 | +                if ($etat['running'] == FALSE) { | |
| 76 | 76 | proc_close($result); | 
| 77 | 77 | unset($pool[$i]); | 
| 78 | 78 | # 记录任务状态 | 
| @@ -91,7 +91,7 @@ discard block | ||
| 91 | 91 | } | 
| 92 | 92 | } | 
| 93 | 93 | |
| 94 | -    private function getCurrentTime ()  { | |
| 94 | +    private function getCurrentTime() { | |
| 95 | 95 |          list ($msec, $sec) = explode(" ", microtime()); | 
| 96 | 96 | return (float)$msec + (float)$sec; | 
| 97 | 97 | } |