@@ -65,7 +65,7 @@ discard block |
||
| 65 | 65 | // |
| 66 | 66 | function unzip_batch_file($user, $batch_file) { |
| 67 | 67 | @mkdir("../../buda_batches"); |
| 68 | - for ($i=0; $i<1000; $i++) { |
|
| 68 | + for ($i = 0; $i < 1000; $i++) { |
|
| 69 | 69 | $batch_dir = "../../buda_batches/$i"; |
| 70 | 70 | $batch_dir_name = $i; |
| 71 | 71 | $ret = @mkdir($batch_dir); |
@@ -116,7 +116,7 @@ discard block |
||
| 116 | 116 | } |
| 117 | 117 | $job_files = []; |
| 118 | 118 | $cmdline = ''; |
| 119 | - foreach(scandir("$batch_dir/$fname") as $f2) { |
|
| 119 | + foreach (scandir("$batch_dir/$fname") as $f2) { |
|
| 120 | 120 | if ($f2[0] == '.') continue; |
| 121 | 121 | if ($f2 == 'cmdline') { |
| 122 | 122 | $cmdline = trim(file_get_contents("$batch_dir/$fname/cmdline")); |
@@ -166,7 +166,7 @@ discard block |
||
| 166 | 166 | function stage_input_files($batch_dir, $batch_desc, $batch_id) { |
| 167 | 167 | $n = count($batch_desc->shared_files); |
| 168 | 168 | $batch_desc->shared_files_phys_names = []; |
| 169 | - for ($i=0; $i<$n; $i++) { |
|
| 169 | + for ($i = 0; $i < $n; $i++) { |
|
| 170 | 170 | $path = sprintf('%s/%s', $batch_dir, $batch_desc->shared_files[$i]); |
| 171 | 171 | [$md5, $size] = $batch_desc->shared_file_infos[$i]; |
| 172 | 172 | $phys_name = sprintf('batch_%d_%s', $batch_id, $md5); |
@@ -176,7 +176,7 @@ discard block |
||
| 176 | 176 | foreach ($batch_desc->jobs as $job) { |
| 177 | 177 | $n = count($batch_desc->unshared_files); |
| 178 | 178 | $job->phys_names = []; |
| 179 | - for ($i=0; $i<$n; $i++) { |
|
| 179 | + for ($i = 0; $i < $n; $i++) { |
|
| 180 | 180 | $path = sprintf('%s/%s/%s', |
| 181 | 181 | $batch_dir, $job->dir, $batch_desc->unshared_files[$i] |
| 182 | 182 | ); |
@@ -224,7 +224,7 @@ discard block |
||
| 224 | 224 | } |
| 225 | 225 | $wrapper_cmdline = sprintf('"--dockerfile %s %s %s"', |
| 226 | 226 | $variant_desc->dockerfile, |
| 227 | - $wrapper_verbose?'--verbose':'', |
|
| 227 | + $wrapper_verbose ? '--verbose' : '', |
|
| 228 | 228 | $cmdline |
| 229 | 229 | ); |
| 230 | 230 | $cmd = sprintf( |