[server] Replace non portable strftime formatter (closes #4132161)
authorRémi Cardona <remi.cardona@logilab.fr>
Fri, 11 Jul 2014 17:13:32 +0200
changeset 9885 9f546848ba48
parent 9884 5ad1c3a9c4a1
child 9886 1b26289217a3
[server] Replace non portable strftime formatter (closes #4132161)
server/repository.py
--- 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: