Cancel our no-show interval once the game starts so that if it expires after an

EZGame has finished it doesn't think that it's still pre-game and that it
should actually cancel the game.


git-svn-id: svn+ssh://src.earth.threerings.net/vilya/trunk@490 c613c5cb-e716-0410-b11b-feb51c14d237
This commit is contained in:
Michael Bayne
2007-11-10 05:27:17 +00:00
parent 717beba71f
commit 91b416f18e
@@ -798,11 +798,12 @@ public class GameManager extends PlaceManager
// start up a no-show timer if needed
if (needsNoShowTimer()) {
new Interval(CrowdServer.omgr) {
_noShowInterval = new Interval(CrowdServer.omgr) {
public void expired () {
checkForNoShows();
}
}.schedule(NOSHOW_DELAY);
};
_noShowInterval.schedule(NOSHOW_DELAY);
}
}
@@ -1012,6 +1013,9 @@ public class GameManager extends PlaceManager
*/
protected void gameDidStart ()
{
// clear out our no-show timer if it's still running
_noShowInterval.cancel();
// let our delegates do their business
applyToDelegates(new DelegateOp() {
public void apply (PlaceManagerDelegate delegate) {
@@ -1312,6 +1316,9 @@ public class GameManager extends PlaceManager
/** TEMP: debugging the pending rating double release bug. */
protected RepeatCallTracker _gameEndTracker = new RepeatCallTracker();
/** The interval used to check for no-shows. */
protected Interval _noShowInterval;
/** Whether we have already postponed the start of the game. */
protected boolean _postponedStart = false;