diff options
Diffstat (limited to 'src/private')
| -rwxr-xr-x | src/private/autojudging.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/private/autojudging.php b/src/private/autojudging.php index e44aaeb..83e2bdd 100755 --- a/src/private/autojudging.php +++ b/src/private/autojudging.php @@ -79,10 +79,10 @@ $key=md5(mt_rand() . rand() . mt_rand()); $cf = globalconf(); $ip = $cf["ip"]; -$activecontest=DBGetActiveContest(); $prevsleep=0; //$dodebug=1; while(42) { + $activecontest=DBGetActiveContest(); if(($run = DBGetRunToAutojudging($activecontest["contestnumber"], $ip)) === false) { if($prevsleep==0) |