diff options
Diffstat (limited to 'src/private')
| -rwxr-xr-x | src/private/autojudging.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/private/autojudging.php b/src/private/autojudging.php index 081a1b3..3842882 100755 --- a/src/private/autojudging.php +++ b/src/private/autojudging.php @@ -437,7 +437,7 @@ if($retval != 0) { foreach($outputlist as $file) { $file = basename($file); if(is_file($dir . $ds . 'output' . $ds . $file)) { - @unlink($dir . $ds . 'compout'); + @unlink($dir . $ds . 'compout'); $ex = escapeshellcmd($script) ." ". escapeshellarg($dir . $ds . "team" . $ds . $file)." ". escapeshellarg($dir . $ds . "output" . $ds . $file)." ". |