Utilities/BackgroundService.py

branch
BgService
changeset 3422
ecfe8271cc73
parent 3417
5a93c6cdc989
child 3484
645c12de6b0c
--- a/Utilities/BackgroundService.py	Sat Mar 22 16:03:40 2014 +0100
+++ b/Utilities/BackgroundService.py	Sat Mar 22 18:51:14 2014 +0100
@@ -291,7 +291,9 @@
         """
         Cleanup the connections and processes when Eric is shuting down.
         """
-        for connection in self.connections.values():
+        # Make copy of dictionary values because the list is changed by
+        # on_disconnectSocket
+        for connection in list(self.connections.values()):
             if connection:
                 connection.close()
         

eric ide

mercurial