From ebbec15081172d34740f33e7cc5fb7898a087f8e Mon Sep 17 00:00:00 2001
From: Simon Vermeersch <simonvermeersch@gmail.com>
Date: Sun, 15 Jan 2017 12:13:00 +0100
Subject: [PATCH] Correctly remove the webclient options monitor on disconnect

---
 evennia/server/serversession.py | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/evennia/server/serversession.py b/evennia/server/serversession.py
index 4c7d780f18..ddbd4b3d40 100644
--- a/evennia/server/serversession.py
+++ b/evennia/server/serversession.py
@@ -261,8 +261,9 @@ class ServerSession(Session):
             player.at_post_disconnect()
             # remove any webclient settings monitors associated with this
             # session
-            MONITOR_HANDLER.remove(player, "webclient_settings", self.sessid)
-            
+            MONITOR_HANDLER.remove(player, "_saved_webclient_options",
+                                   self.sessid)
+
 
     def get_player(self):
         """