Passed
Push — server_release/1/1.4 ( 715173...1a8200 )
by
unknown
12:00
created
html/user/sandbox.php 1 patch
Braces   +3 added lines, -3 removed lines patch added patch discarded remove patch
@@ -141,7 +141,7 @@  discard block
 block discarded – undo
141 141
         $s = stat($tmp_name);
142 142
         $size = $s['size'];
143 143
         list($exist, $elf) = sandbox_lf_exist($user, $md5);
144
-        if ($exist){
144
+        if ($exist) {
145 145
             $notice .= "<strong>Notice:</strong> Invalid Upload<br/>";
146 146
             $notice .= "You are trying to upload file  <strong>$name</strong><br/>";
147 147
             $notice .= "Another file <strong>$elf</strong> with the same content (md5: $md5) already exists!<br/>";
@@ -216,9 +216,9 @@  discard block
 block discarded – undo
216 216
         error_page("no such physical file");
217 217
     }
218 218
     $bused = sandbox_file_in_use($user, $name);
219
-    if ($bused){
219
+    if ($bused) {
220 220
         $notice = "<strong>$name</strong> is being used by batch(es), you can not delete it now!<br/>";
221
-    } else{ 
221
+    } else {
222 222
         $notice = "<strong>$name</strong> is not being used by any batch(es) and successfully deleted from your sandbox<br/>";
223 223
         unlink("$dir/$name");
224 224
         unlink($p);
Please login to merge, or discard this patch.