diff options
| author | Cassio de Campos <cassiopc@gmail.com> | 2018-08-24 19:08:09 +0000 |
|---|---|---|
| committer | Cassio de Campos <cassiopc@gmail.com> | 2018-08-24 19:08:09 +0000 |
| commit | c8994053b1ff9ccf47b532be6567c0f7f33f5f3c (patch) | |
| tree | 3377c9e4bd71ab5f8cd4e1a33e701e17575d803c /src/judge/team.php | |
| parent | 9a5387bd2637cdc9fb0496d094e503e484be10e9 (diff) | |
| download | boca-c8994053b1ff9ccf47b532be6567c0f7f33f5f3c.tar.gz boca-c8994053b1ff9ccf47b532be6567c0f7f33f5f3c.zip | |
fixed typos, back some required files
Diffstat (limited to 'src/judge/team.php')
| -rw-r--r-- | src/judge/team.php | 2 |
1 files changed, 1 insertions, 1 deletions
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(); |