diff options
Diffstat (limited to 'src/frun.php')
| -rw-r--r-- | src/frun.php | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/frun.php b/src/frun.php index 5576bcd..eb5d33f 100644 --- a/src/frun.php +++ b/src/frun.php @@ -512,6 +512,17 @@ function DBGiveUpRunAutojudging($contest, $site, $number, $ip="", $ans="") { } $a = DBRow($r,0); $t = time(); + + $b = DBSiteInfo($contest, $site, $c); + if($b["siteautojudge"]=="t") { + if(DBUpdateRunO($contest, $site, $a["usernumber"], $site, $number, 7, $c)==false) { // 7 means contact staff + DBExec($c, "rollback work", "DBGiveUpRunAutojudging(rollback auto)"); + LOGError("Unable to automatically update a run answer (run=$number, site=$site, ". + "contest=$contest, answer='$ans', retval=7)"); + return false; + } + LOGLevel("Autojudging automatically answered a run (run=$number, site=$site, contest=$contest, retval=7, answer='$ans')", 3); + } if($ip=="") { DBExec($c, "update runtable set autoenddate=null, autoanswer=null, autostdout=null, autostderr=null, " . |