@@ -71,7 +71,7 @@ discard block |
||
71 | 71 | // |
72 | 72 | function unzip_batch_file($user, $batch_file) { |
73 | 73 | @mkdir("../../buda_batches"); |
74 | - for ($i=0; $i<1000; $i++) { |
|
74 | + for ($i = 0; $i < 1000; $i++) { |
|
75 | 75 | $batch_dir = "../../buda_batches/$i"; |
76 | 76 | $batch_dir_name = $i; |
77 | 77 | $ret = @mkdir($batch_dir); |
@@ -122,7 +122,7 @@ discard block |
||
122 | 122 | } |
123 | 123 | $job_files = []; |
124 | 124 | $cmdline = ''; |
125 | - foreach(scandir("$batch_dir/$fname") as $f2) { |
|
125 | + foreach (scandir("$batch_dir/$fname") as $f2) { |
|
126 | 126 | if ($f2[0] == '.') continue; |
127 | 127 | if ($f2 == 'cmdline') { |
128 | 128 | $cmdline = trim(file_get_contents("$batch_dir/$fname/cmdline")); |
@@ -172,7 +172,7 @@ discard block |
||
172 | 172 | function stage_input_files($batch_dir, $batch_desc, $batch_id) { |
173 | 173 | $n = count($batch_desc->shared_files); |
174 | 174 | $batch_desc->shared_files_phys_names = []; |
175 | - for ($i=0; $i<$n; $i++) { |
|
175 | + for ($i = 0; $i < $n; $i++) { |
|
176 | 176 | $path = sprintf('%s/%s', $batch_dir, $batch_desc->shared_files[$i]); |
177 | 177 | [$md5, $size] = $batch_desc->shared_file_infos[$i]; |
178 | 178 | $phys_name = sprintf('batch_%d_%s', $batch_id, $md5); |
@@ -182,7 +182,7 @@ discard block |
||
182 | 182 | foreach ($batch_desc->jobs as $job) { |
183 | 183 | $n = count($batch_desc->unshared_files); |
184 | 184 | $job->phys_names = []; |
185 | - for ($i=0; $i<$n; $i++) { |
|
185 | + for ($i = 0; $i < $n; $i++) { |
|
186 | 186 | $path = sprintf('%s/%s/%s', |
187 | 187 | $batch_dir, $job->dir, $batch_desc->unshared_files[$i] |
188 | 188 | ); |
@@ -230,7 +230,7 @@ discard block |
||
230 | 230 | } |
231 | 231 | $wrapper_cmdline = sprintf('"--dockerfile %s %s %s"', |
232 | 232 | $variant_desc->dockerfile, |
233 | - $wrapper_verbose?'--verbose':'', |
|
233 | + $wrapper_verbose ? '--verbose' : '', |
|
234 | 234 | $cmdline |
235 | 235 | ); |
236 | 236 | $cmd = sprintf( |
@@ -275,7 +275,7 @@ discard block |
||
275 | 275 | $max_runtime_days = (double)$max_runtime_days; |
276 | 276 | if ($max_runtime_days <= 0) error_page('bad runtime limit'); |
277 | 277 | if ($max_runtime_days > 100) error_page('bad runtime limit'); |
278 | - $max_fpops = $max_runtime_days * 3.5e9 * 86400; |
|
278 | + $max_fpops = $max_runtime_days*3.5e9*86400; |
|
279 | 279 | |
280 | 280 | $app_desc = get_buda_desc($app); |
281 | 281 |