diff options
| -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 3842882..bcf763a 100755 --- a/src/private/autojudging.php +++ b/src/private/autojudging.php @@ -380,7 +380,7 @@ if($retval != 0) { } $ex = escapeshellcmd($script) ." ". - escapeshellarg($basename) . " ". + escapeshellarg($dir . $ds . $basename) . " ". escapeshellarg($dir . $ds . "input" . $ds . $file)." ". escapeshellarg(trim($limits[$basename][$run["extension"]][0]))." ". escapeshellarg(trim($limits[$basename][$run["extension"]][1]))." ". |