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?