unsubscribe upon disconnect

Change-Id: I45f53526b8f65741fede170a0420f0f4aabc00fb
2016-08-31 11:32:42 +02:00 · 2016-08-31 11:32:42 +02:00 · 4f42b32385
commit 4f42b32385
parent 9b93f7d5af
1 changed files with 2 additions and 1 deletions
--- a/src/protocol/dispatcher.py
+++ b/src/protocol/dispatcher.py
@ -145,7 +145,8 @@ class Dispatcher(object):
        """removes now longer functional connection"""
        if conn in self._dispatcher_connections:
            self._dispatcher_connections.remove(conn)
-        # XXX: also clean _dispatcher_subscriptions !
+        for _evt, conns in self._dispatcher_subscriptions.items():
+            conns.discard(conn)

    def register_device(self, devobj, devname, export=True):
        self.log.debug('registering Device %r as %s (export=%r)' %