End game when game ended

2018-10-19 00:31:52 +07:00 · 2018-10-19 00:31:52 +07:00 · 36ff9e8eda
parent 95ab159113
commit 36ff9e8eda
1 changed files with 1 additions and 0 deletions
--- a/actions.py
+++ b/actions.py
@ -158,6 +158,7 @@ def do_play_card(bot, player, result_id):
                    if not us:
                        us_ = UserSetting(id=player.user.id)
                    us_.games_played += 1
+                gm.end_game(chat, user)
            else:
                sleep(5)
                game.reset_cards()