server/repository.py
changeset 8699 864ffd247d70
parent 8696 0bb18407c053
child 8748 f5027f8d2478
child 8837 f7f4238ffe3c
--- a/server/repository.py	Tue Feb 21 18:23:23 2012 +0100
+++ b/server/repository.py	Sat Feb 16 21:46:24 2013 +0100
@@ -962,7 +962,7 @@
 
     def close_sessions(self):
         """close every opened sessions"""
-        for sessionid in self._sessions:
+        for sessionid in list(self._sessions):
             try:
                 self.close(sessionid, checkshuttingdown=False)
             except Exception: # XXX BaseException?