diff options
| author | Cassio de Campos <cassiopc@gmail.com> | 2017-11-05 14:04:00 +0000 |
|---|---|---|
| committer | Cassio de Campos <cassiopc@gmail.com> | 2017-11-05 14:04:00 +0000 |
| commit | d734dfa7cbb3e9d6902c9a2759034c199f0f3d9d (patch) | |
| tree | 3a4d3629a04d4aafdee357adfe38884f8e0e688b /src/private | |
| parent | 73d633e765ab6bdeaa6f7b71d744ec3a44de01be (diff) | |
| download | boca-d734dfa7cbb3e9d6902c9a2759034c199f0f3d9d.tar.gz boca-d734dfa7cbb3e9d6902c9a2759034c199f0f3d9d.zip | |
bf
Diffstat (limited to 'src/private')
| -rwxr-xr-x | src/private/autojudging.php | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/private/autojudging.php b/src/private/autojudging.php index 6c53b96..ecf9fb6 100755 --- a/src/private/autojudging.php +++ b/src/private/autojudging.php @@ -288,8 +288,6 @@ 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"]); |