Ticket #241: Cleanup dead sockets on session exit.patch
File Cleanup dead sockets on session exit.patch, 625 bytes (added by , 9 years ago) |
---|
-
winswitch/virt/xpra_server_util.py
508 508 def after_getting_version(*args): 509 509 self.grab_session_info(session, after_getting_info) 510 510 self.grab_session_version(session, after_getting_version) 511 512 def session_cleanup(self, session): 513 if self.dotxpra.server_state(session.display) in (self.dotxpra.UNKNOWN, self.dotxpra.DEAD): 514 self.detected_dead_session(session.display) 515 ServerUtilBase.session_cleanup(self, session)