server/repository.py
changeset 8699 864ffd247d70
parent 8696 0bb18407c053
child 8748 f5027f8d2478
child 8837 f7f4238ffe3c
equal deleted inserted replaced
8698:b2443e266661 8699:864ffd247d70
   960 
   960 
   961     # session handling ########################################################
   961     # session handling ########################################################
   962 
   962 
   963     def close_sessions(self):
   963     def close_sessions(self):
   964         """close every opened sessions"""
   964         """close every opened sessions"""
   965         for sessionid in self._sessions:
   965         for sessionid in list(self._sessions):
   966             try:
   966             try:
   967                 self.close(sessionid, checkshuttingdown=False)
   967                 self.close(sessionid, checkshuttingdown=False)
   968             except Exception: # XXX BaseException?
   968             except Exception: # XXX BaseException?
   969                 self.exception('error while closing session %s' % sessionid)
   969                 self.exception('error while closing session %s' % sessionid)
   970 
   970