# HG changeset patch # User Nicolas Chauvat # Date 1361047584 -3600 # Node ID 864ffd247d70a64d2a1a923ba7c87ffde83231a1 # Parent b2443e266661e93f237d72de23b62a18c20d4dde [towards py3k] fix bug introduced by 0bb18407c053 diff -r b2443e266661 -r 864ffd247d70 server/repository.py --- 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?