equal
deleted
inserted
replaced
983 """ |
983 """ |
984 mintime = time() - self.cleanup_session_time |
984 mintime = time() - self.cleanup_session_time |
985 self.debug('cleaning session unused since %s', |
985 self.debug('cleaning session unused since %s', |
986 strftime('%T', localtime(mintime))) |
986 strftime('%T', localtime(mintime))) |
987 nbclosed = 0 |
987 nbclosed = 0 |
988 for session in self._sessions.itervalues(): |
988 for session in self._sessions.values(): |
989 if session.timestamp < mintime: |
989 if session.timestamp < mintime: |
990 self.close(session.id) |
990 self.close(session.id) |
991 nbclosed += 1 |
991 nbclosed += 1 |
992 return nbclosed |
992 return nbclosed |
993 |
993 |