changeset 8916 | 2a424950463d |
parent 8900 | 010a59e12d89 |
parent 8890 | 57ffd0e0643d |
child 8943 | 58b3b2d9c965 |
--- a/server/repository.py Wed Apr 24 15:33:49 2013 +0200 +++ b/server/repository.py Wed Apr 24 15:37:43 2013 +0200 @@ -985,7 +985,7 @@ self.debug('cleaning session unused since %s', strftime('%T', localtime(mintime))) nbclosed = 0 - for session in self._sessions.itervalues(): + for session in self._sessions.values(): if session.timestamp < mintime: self.close(session.id) nbclosed += 1