diff options
Diffstat (limited to 'src/private')
| -rwxr-xr-x | src/private/autojudging.php | 3 |
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"]); } |