Fixing ticket #86: Change player id in ranking map on rejoin.

2011-12-27 20:44:16 +00:00
parent 6c4a8652fe
commit 28417227ac
3 changed files with 14 additions and 0 deletions
@@ -118,6 +118,7 @@ protected:
 	void InitRankingMap(const PlayerDataList &playerDataList);
 	void UpdateRankingMap();
 	void SetPlayerPlace(unsigned playerId, int place);
+	void ReplaceRankingPlayer(unsigned oldPlayerId, unsigned newPlayerId);
 	void StoreAndResetRanking();
 	void RemoveAutoLeavePlayers();
 	void InternalEndGame();