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