From c8994053b1ff9ccf47b532be6567c0f7f33f5f3c Mon Sep 17 00:00:00 2001 From: Cassio de Campos Date: Fri, 24 Aug 2018 21:08:09 +0200 Subject: fixed typos, back some required files --- src/judge/team.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/judge/team.php') diff --git a/src/judge/team.php b/src/judge/team.php index 745380a..13e3e4e 100644 --- a/src/judge/team.php +++ b/src/judge/team.php @@ -75,7 +75,7 @@ $redo = TRUE; if(!isset($_SESSION['forceredo']) || $_SESSION['forceredo']==false) { $actualdelay = 30; if(file_exists($runtmp)) { - if(isset($strtmp) || (($strtmp = file_get_contents($runtmp,FALSE,NULL,-1,1000000)) !== FALSE)) { + if(isset($strtmp) || (($strtmp = file_get_contents($runtmp,FALSE,NULL,0,1000000)) !== FALSE)) { list($d) = sscanf($strtmp,"%*s %d"); if($d > time() - $actualdelay) { $conf=globalconf(); -- cgit v1.2.3