Skip to content

Commit

Permalink
Tweak and fix to game insert waits
Browse files Browse the repository at this point in the history
  • Loading branch information
Janzert committed Dec 19, 2011
1 parent 0bc934a commit 06f7154
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion website/api_game_result.php
Expand Up @@ -157,6 +157,7 @@ function game_result_error ($message) {
api_log(sprintf(
"Found correct player number for game %d on try %d",
$game_id, $tries));
}
break;
}
api_log(sprintf(
Expand Down Expand Up @@ -194,7 +195,7 @@ function game_result_error ($message) {
$sleep_time *= 2;
if ($sleep_time > 10) {
api_log(sprintf("Failed to update submission skills for game %d after waiting", $game_id));
die();
break;
}
}
} else {
Expand Down

0 comments on commit 06f7154

Please sign in to comment.