Ticket #13734: simplified_remove.diff

dispatcher.py

@@ -226 +226 @@
         """
         Remove dead receivers from connections.
         """
-
-        to_remove = []
-        for key, connected_receiver in self.receivers:
+        for idx in xrange(len(self.receivers)-1, -1, -1):
+            (_, connected_receiver) = self.receivers[idx]
             if connected_receiver == receiver:
-                to_remove.append(key)
-        for key in to_remove:
-            for idx, (r_key, _) in enumerate(self.receivers):
-                if r_key == key:
-                    del self.receivers[idx]
+                del self.receivers[idx]