PinLin/mau_mau_bot
Archived
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

fix end_game

Browse Source
This commit is contained in:
Jannes Höke
2016-05-19 21:28:04 +02:00
parent c9f7c09a46
commit 424219d825
2 changed files with 39 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
game_manager.py
View File

@ -127,16 +127,18 @@ class GameManager(object):
# Clear game
for player_in_game in game.players:
this_users_players = self.userid_players[player.user.id]
this_users_players = self.userid_players[player_in_game.user.id]
this_users_players.remove(player_in_game)
if this_users_players:
self.userid_current[player.user.id] = this_users_players[0]
else:
del self.userid_players[player.user.id]
del self.userid_current[player.user.id]
del self.userid_players[player_in_game.user.id]
del self.userid_current[player_in_game.user.id]
self.chatid_games[chat.id].remove(game)
if not self.chatid_games[chat.id]:
del self.chatid_games[chat.id]
def player_for_user_in_chat(self, user, chat):
players = self.userid_players.get(user.id, list())