diff options
| -rw-r--r-- | src/frun.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/frun.php b/src/frun.php index e4fd323..3694f21 100644 --- a/src/frun.php +++ b/src/frun.php @@ -516,7 +516,7 @@ function DBGiveUpRunAutojudging($contest, $site, $number, $ip="", $ans="", $from $b = DBSiteInfo($contest, $site, $c); if(!$fromadmin && $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)"); + DBExec($c, "commit work", "DBGiveUpRunAutojudging(commit prob auto)"); LOGError("Unable to automatically update a run answer (run=$number, site=$site, ". "contest=$contest, answer='$ans', retval=7)"); return false; |