Andreas/evennia
1
0
Fork 0
mirror of https://github.com/evennia/evennia.git synced 2026-04-02 22:17:17 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

Correctly remove the webclient options monitor on disconnect

Browse source
This commit is contained in:
Simon Vermeersch 2017-01-15 12:13:00 +01:00 • committed by Griatch
parent da7a71e6dd
commit ebbec15081
1 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

5
evennia/server/serversession.py
View file

@ -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):
"""