From 4c900f941ae301805e887a82b304c3b7a09af6e1 Mon Sep 17 00:00:00 2001 From: Jerry Date: Thu, 27 Dec 2018 21:49:29 +0800 Subject: [PATCH] Add a way to kick the current player so that we don't have to wait many seconds until we can skip a (dead) player --- bot.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/bot.py b/bot.py index cdd2ae4..57d4bb4 100644 --- a/bot.py +++ b/bot.py @@ -245,6 +245,8 @@ def kick_player(bot, update): if update.message.reply_to_message: kicked = update.message.reply_to_message.from_user + if kicked.id == bot.id: + kicked = game.current_player.user try: gm.leave_game(kicked, chat) @@ -266,7 +268,8 @@ def kick_player(bot, update): else: send_async(bot, chat.id, - text=_("Please reply to the person you want to kick and type /kick again."), + text=_("Please reply to the person you want to kick and type /kick again. " + "Note that replying to the bot causes the current player to be kicked."), reply_to_message_id=update.message.message_id) return