From 0f06e733808a21d58baf655d2d3443374140cfb2 Mon Sep 17 00:00:00 2001
From: Christian Heller <c.heller@plomlompom.de>
Date: Sun, 8 Nov 2020 02:28:58 +0100
Subject: [PATCH] Announce players leaving the map.

---
 new2/plomrogue/game.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/new2/plomrogue/game.py b/new2/plomrogue/game.py
index 0c09b01..bbc2393 100755
--- a/new2/plomrogue/game.py
+++ b/new2/plomrogue/game.py
@@ -112,6 +112,8 @@ class Game(GameBase):
                     break
             if not connection_id_found:
                 t = self.get_thing(self.sessions[connection_id], create_unfound=False)
+                if hasattr(t, 'nickname'):
+                    self.io.send('CHAT ' + quote(t.nickname + ' left the map.'))
                 self.things.remove(t)
                 to_delete += [connection_id]
         for connection_id in to_delete:
-- 
2.30.2