From b2028511f564188e11ecd15d0cc263093c6890a2 Mon Sep 17 00:00:00 2001
From: Griatch <griatch@gmail.com>
Date: Tue, 25 Sep 2012 07:53:11 +0200
Subject: [PATCH] Fixing a bug with not calling the disconnect hook when
 killing the client uncleanly. Resolves Issue 258. Thanks to user Zeta142125
 for the help.

---
 src/server/sessionhandler.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/server/sessionhandler.py b/src/server/sessionhandler.py
index e236f24ef..46a5e58ee 100644
--- 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)