Ticket #241: Cleanup dead sockets on session exit.patch

winswitch/virt/xpra_server_util.py

@@ -508 +508 @@
                 def after_getting_version(*args):
                         self.grab_session_info(session, after_getting_info)
                 self.grab_session_version(session, after_getting_version)
+
+        def session_cleanup(self, session):
+                if self.dotxpra.server_state(session.display) in (self.dotxpra.UNKNOWN, self.dotxpra.DEAD):
+                        self.detected_dead_session(session.display)
+                ServerUtilBase.session_cleanup(self, session)