Announce players leaving the map.

diff --git a/new2/plomrogue/game.py b/new2/plomrogue/game.py
index 0c09b01d07206e2b44c5c3c2b6bb6c9e6a924041..bbc23937d6522f34ed595eb12689578255044c7d 100755 (executable)
--- 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: