diff options
| author | cassiopc <cassiopc@gmail.com> | 2012-08-06 17:59:23 +0000 |
|---|---|---|
| committer | cassiopc <cassiopc@gmail.com> | 2012-08-06 17:59:23 +0000 |
| commit | f8c7c32e3ea6417ccf04309ec521b39a0c20414d (patch) | |
| tree | 86befe96e554f00d25e1f3717d456ef6da470405 /boca-1.5.0/src/ftask.php | |
| parent | d75956684f9599b8daf705b11d67c75186ea7e3f (diff) | |
| download | boca-f8c7c32e3ea6417ccf04309ec521b39a0c20414d.tar.gz boca-f8c7c32e3ea6417ccf04309ec521b39a0c20414d.zip | |
fix some concurrency issues when judging a run; update scripts to look for /etc/boca.conf if it exists
Diffstat (limited to 'boca-1.5.0/src/ftask.php')
| -rw-r--r-- | boca-1.5.0/src/ftask.php | 8 |
1 files changed, 5 insertions, 3 deletions
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) { |