From 27e9051904e25a610d7997e1f9d525d58f9ec72f Mon Sep 17 00:00:00 2001
From: Cassio de Campos <cassiopc@gmail.com>
Date: Sun, 5 Nov 2017 15:05:31 +0100
Subject: use local files first

---
 src/private/autojudging.php | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'src')

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) {
-- 
cgit v1.2.3