server/repository.py
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: