# HG changeset patch # User unc0rr # Date 1243783023 0 # Node ID cde30c8539bbfe3a327504f3ff026fcb5bd3cbfc # Parent 1a6570dd45d894992b8e7807df962e30121c2faf Fix a source of desync caused by player quit diff -r 1a6570dd45d8 -r cde30c8539bb hedgewars/uGears.pas --- a/hedgewars/uGears.pas Sun May 31 09:56:21 2009 +0000 +++ b/hedgewars/uGears.pas Sun May 31 15:17:03 2009 +0000 @@ -612,11 +612,13 @@ dec(TurnTimeLeft) end; -if (not CurrentTeam^.ExtDriven) and - ((GameTicks and $FFFF) = $FFFF) then +if ((GameTicks and $FFFF) = $FFFF) then begin - SendIPCTimeInc; - inc(hiTicks) // we do not recieve a message for this + if (not CurrentTeam^.ExtDriven) then + SendIPCTimeInc; + + if (not CurrentTeam^.ExtDriven) or CurrentTeam^.hasGone then + inc(hiTicks) // we do not recieve a message for this end; inc(GameTicks)