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

Possible fix to bad disconnection issue.

Browse source
This commit is contained in:
Kelketek 2013-05-18 18:18:32 -05:00
parent e79f68bbe1
commit 1a26552600
1 changed files with 10 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

14
src/server/sessionhandler.py
View file

@ -146,10 +146,16 @@ class ServerSessionHandler(SessionHandler):
from the portal side.
"""
session = self.sessions.get(sessid, None)
if session:
session.disconnect()
del self.sessions[session.sessid]
self.session_count(-1)
if not session:
return
player = session.player
if player:
nsess = len(self.sessions_from_player(player))
remaintext = nsess and "%i session%s remaining" % (nsess, nsess > 1 and "s" or "") or "no more sessions"
session.log(_('Connection dropped: %s %s (%s)' % (session.player, session.address, remaintext)))
session.at_disconnect()
session.disconnect()
del self.sessions[session.sessid]
def portal_session_sync(self, portalsessions):
"""