aboutsummaryrefslogtreecommitdiff
path: root/src/private
diff options
context:
space:
mode:
Diffstat (limited to 'src/private')
-rwxr-xr-xsrc/private/autojudging.php3
1 files changed, 3 insertions, 0 deletions
diff --git a/src/private/autojudging.php b/src/private/autojudging.php
index 304b309..6c53b96 100755
--- a/src/private/autojudging.php
+++ b/src/private/autojudging.php
@@ -288,8 +288,11 @@ while(42) {
}
}
if(is_dir($dir . $ds . "problemdatalocal" . $ds . "output")) {
+ $s = file_get_contents($flocal);
+ } else
echo "Using scripts and inputs/outputs from local package file\n";
$s = file_get_contents($flocal);
+ @copy($flocal, $dir . $ds . $run["inputname"]);
} else {
$s = file_get_contents($dir . $ds . $run["inputname"]);
}