From f8c7c32e3ea6417ccf04309ec521b39a0c20414d Mon Sep 17 00:00:00 2001 From: cassiopc Date: Mon, 6 Aug 2012 19:59:23 +0200 Subject: fix some concurrency issues when judging a run; update scripts to look for /etc/boca.conf if it exists --- boca-1.5.0/src/ftask.php | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'boca-1.5.0/src/ftask.php') diff --git a/boca-1.5.0/src/ftask.php b/boca-1.5.0/src/ftask.php index 6575210..8265cc4 100644 --- a/boca-1.5.0/src/ftask.php +++ b/boca-1.5.0/src/ftask.php @@ -419,11 +419,13 @@ function DBNewTask($param, $c=null) { "VALUES ($contest, $site, $tasknumber, $user, $taskdate, $taskdatediff, $taskdatediffans, '$filename', $oid, '$status', " . "'$desc', '$sys', '$color', '$colorname', $updatetime)", "DBNewTask(insert task)"); - if($cw) DBExec($c, "commit work", "DBNewTask(commit-insert)"); + if($cw) { + DBExec($c, "commit work", "DBNewTask(commit-insert)"); + LOGLevel("$u submitted a task (#$tasknumber) on site #$site " . + "(filename=$filename, contest=$contest).",2); + } if($sys=="t") $u="System"; else $u = "User $user"; - LOGLevel("$u submitted a task (#$tasknumber) on site #$site " . - "(filename=$filename, contest=$contest).",2); $ret=2; } else { if($updatetime > $t) { -- cgit v1.2.3