Jerry/mau_mau_bot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

make game endings more smooth

Browse source
This commit is contained in:
Jannes Höke 2016-05-08 17:46:14 +02:00
parent d85934b789
commit 512d752997
1 changed files with 9 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

17
game_manager.py
View file

@ -34,8 +34,7 @@ class GameManager(object):
def new_game(self, chat): def new_game(self, chat):
""" """
Generate a game join link with a unique ID and connect the game to the Create a new game in this chat
group chat
""" """
chat_id = chat.id chat_id = chat.id
@ -105,8 +104,7 @@ class GameManager(object):
def end_game(self, chat_id, user): def end_game(self, chat_id, user):
""" """
Generate a game join link with a unique ID and connect the game to the End a game
group chat
""" """
self.logger.info("Game in chat " + str(chat_id) + " ended") self.logger.info("Game in chat " + str(chat_id) + " ended")
@ -115,8 +113,6 @@ class GameManager(object):
the_game = None the_game = None
# Find the correct game instance to end # Find the correct game instance to end
logging.info(str(players))
logging.info(str(games))
for player in players: for player in players:
for game in games: for game in games:
if player in game.players: if player in game.players:
@ -128,8 +124,13 @@ class GameManager(object):
return return
for player in the_game.players: for player in the_game.players:
self.userid_players[player.user.id].remove(player) this_users_players = self.userid_players[player.user.id]
if len(self.userid_players[player.user.id]) is 0: this_users_players.remove(player)
if len(this_users_players) is 0:
del self.userid_players[player.user.id] del self.userid_players[player.user.id]
del self.userid_current[player.user.id]
else:
self.userid_current[player.user.id] = this_users_players[0]
self.chatid_games[chat_id].remove(the_game) self.chatid_games[chat_id].remove(the_game)
return return