From d734dfa7cbb3e9d6902c9a2759034c199f0f3d9d Mon Sep 17 00:00:00 2001 From: Cassio de Campos Date: Sun, 5 Nov 2017 15:04:00 +0100 Subject: bf --- src/private/autojudging.php | 2 -- 1 file changed, 2 deletions(-) (limited to 'src/private/autojudging.php') 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"]); -- cgit v1.2.3