branch | stable |
changeset 8890 | 57ffd0e0643d |
parent 8881 | ad3a1ba9ea74 |
child 8916 | 2a424950463d |
child 8953 | 041804bc48e9 |
--- a/server/repository.py Fri Apr 12 11:39:10 2013 +0200 +++ b/server/repository.py Tue Apr 16 13:44:01 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