Fixing a bug with not calling the disconnect hook when killing the client uncleanly. Resolves Issue 258. Thanks to user Zeta142125 for the help.

2012-09-25 07:53:11 +02:00 · 2012-09-25 07:53:11 +02:00 · b2028511f5
commit b2028511f5
parent 7d4bf6c8d2
1 changed files with 1 additions and 0 deletions
--- a/src/server/sessionhandler.py
+++ b/src/server/sessionhandler.py
@ -113,6 +113,7 @@ class ServerSessionHandler(SessionHandler):
        """
        session = self.sessions.get(sessid, None)
        if session:
+            session.disconnect()
            del self.sessions[session.sessid]
            self.session_count(-1)