Completed
Push — master ( ab6b89...b465fe )
by Xu
119:53 queued 79:52
created
src/console/controllers/TaskController.php 1 patch
Spacing   +2 added lines, -2 removed lines patch added patch discarded remove patch
@@ -72,7 +72,7 @@  discard block
 block discarded – undo
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
 block discarded – undo
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
     }
Please login to merge, or discard this patch.