diff options
| author | Cassio de Campos <cassiopc@gmail.com> | 2017-11-05 14:05:31 +0000 |
|---|---|---|
| committer | Cassio de Campos <cassiopc@gmail.com> | 2017-11-05 14:05:31 +0000 |
| commit | 27e9051904e25a610d7997e1f9d525d58f9ec72f (patch) | |
| tree | 3163e18d1001b9c32b2025b66776ed6cf3343217 | |
| parent | d734dfa7cbb3e9d6902c9a2759034c199f0f3d9d (diff) | |
| download | boca-27e9051904e25a610d7997e1f9d525d58f9ec72f.tar.gz boca-27e9051904e25a610d7997e1f9d525d58f9ec72f.zip | |
use local files first
| -rwxr-xr-x | src/private/autojudging.php | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/private/autojudging.php b/src/private/autojudging.php index ecf9fb6..e44aaeb 100755 --- a/src/private/autojudging.php +++ b/src/private/autojudging.php @@ -289,11 +289,9 @@ while(42) { } if(is_dir($dir . $ds . "problemdatalocal" . $ds . "output")) { 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"]); } + $s = file_get_contents($dir . $ds . $run["inputname"]); cleardir($dir . $ds . "problemdata"); cleardir($dir . $ds . "problemdatalocal"); if($cont) { |