@@ -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 | } |