Changeset 1046
- Timestamp:
- 06/21/09 14:19:51 (3 years ago)
- Location:
- trunk
- Files:
-
- 3 edited
-
common/round.php (modified) (3 diffs)
-
common/score.php (modified) (1 diff)
-
eval/utilities.php (modified) (2 diffs)
Legend:
- Unmodified
- Added
- Removed
-
trunk/common/round.php
r1006 r1046 134 134 $round['state'] = 'running'; 135 135 round_update($round); 136 round_unhide_all_tasks($round['id']); 136 // User defined rounds always contain already visible tasks. 137 if ($round["type"] != "user-defined") { 138 round_unhide_all_tasks($round['id']); 139 } 137 140 } 138 141 … … 142 145 log_print("CONTEST LOGIC: Stopping round {$round['id']}."); 143 146 $round['state'] = 'complete'; 144 $round['public_eval'] = 1; 147 // Results should be immediately visible after a round ends 148 // if it's type is not classic. 149 if ($round["type"] != "classic") { 150 $round['public_eval'] = 1; 151 } 145 152 round_update($round); 146 153 } … … 152 159 $round['state'] = 'waiting'; 153 160 round_update($round); 154 round_hide_all_tasks($round['id']); 161 // User defined rounds always contain already visible tasks. 162 // If such a round is postponed, do not (re)hide the tasks 163 // like for classic rounds, where the tasks are not visible 164 // before the round starts. 165 if ($round["type"] != "user-defined") { 166 round_hide_all_tasks($round['id']); 167 } 155 168 } 156 169 -
trunk/common/score.php
r1040 r1046 7 7 function score_update_for_job($score, $time, $user_id, $task_id, $round_id) 8 8 { 9 $round = round_get($round_id); 10 round_event_job_score($round, $score, $time, $user_id, $task_id); 9 if ($round_id) { 10 $round = round_get($round_id); 11 round_event_job_score($round, $score, $time, $user_id, $task_id); 12 } 11 13 } 12 14 -
trunk/eval/utilities.php
r993 r1046 82 82 { 83 83 if (!preg_match("/^(ERROR|FAIL|OK):\ (.*)$/", $message, $matches)) { 84 log_warn("Invalid jrun output: $message"); 84 85 return false; 85 86 } … … 161 162 //$cmdline .= " --verbose"; 162 163 163 //log_print("Running $cmdline");164 log_print("Running $cmdline"); 164 165 $message = shell_exec($cmdline); 165 166
Note: See TracChangeset
for help on using the changeset viewer.
![[infoarena] development](/chrome/site/logo.png)