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?