changeset 9885 | 9f546848ba48 |
parent 9800 | 029f9eafe574 |
child 9984 | 793377697c81 |
--- a/server/repository.py Thu Jun 12 12:15:18 2014 +0200 +++ b/server/repository.py Fri Jul 11 17:13:32 2014 +0200 @@ -880,7 +880,7 @@ """ mintime = time() - self.cleanup_session_time self.debug('cleaning session unused since %s', - strftime('%T', localtime(mintime))) + strftime('%H:%M:%S', localtime(mintime))) nbclosed = 0 for session in self._sessions.values(): if session.timestamp < mintime: