From 281511e0fda6de7a231c7a1ecef1f05e4933ca69 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jannes=20H=C3=B6ke?= <jhoeke@uni-bremen.de>
Date: Sat, 30 Apr 2016 11:43:26 +0200
Subject: [PATCH] display next player on leave

---
 bot.py | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/bot.py b/bot.py
index 63fc216..8a5105e 100644
--- a/bot.py
+++ b/bot.py
@@ -143,7 +143,9 @@ def leave_game(bot, update):
         send_async(bot, chat_id, text="Game ended!")
     else:
         if gm.leave_game(user, chat_id):
-            send_async(bot, chat_id, text="Okay",
+            send_async(bot, chat_id,
+                       text="Okay. Next Player: " +
+                            display_name(game.current_player.user),
                        reply_to_message_id=update.message.message_id)
         else:
             send_async(bot, chat_id, text="You are not playing in a game in "