From 565309d78e335176d9800c61a259b265a60771f2 Mon Sep 17 00:00:00 2001 From: cassiopc Date: Wed, 11 Sep 2013 18:18:23 +0200 Subject: fixed directory names to run autojudge for the case of multiple input/output files --- src/private/autojudging.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/private') 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]))." ". -- cgit v1.2.3