hooks/__init__.py
branchstable
changeset 9263 42cc70a1b6ac
parent 8695 358d8bed9626
child 9448 3e7cad3967c5
--- a/hooks/__init__.py	Tue Oct 08 16:10:42 2013 +0200
+++ b/hooks/__init__.py	Fri Sep 20 15:42:04 2013 +0200
@@ -59,7 +59,9 @@
         def update_feeds(repo):
             # don't iter on repo.sources which doesn't include copy based
             # sources (the one we're looking for)
-            for source in repo.sources_by_eid.itervalues():
+            # take a list to avoid iterating on a dictionary which size may
+            # change
+            for source in list(repo.sources_by_eid.values()):
                 if (not source.copy_based_source
                     or not repo.config.source_enabled(source)
                     or not source.config['synchronize']):