# HG changeset patch
# User Rémi Cardona <remi.cardona@logilab.fr>
# Date 1405091612 -7200
# Node ID 9f546848ba48cd8ac8e2e76af62ca6517027c2d6
# Parent  5ad1c3a9c4a1b82cfb955f5bea65c4e83604c867
[server] Replace non portable strftime formatter (closes #4132161)

diff -r 5ad1c3a9c4a1 -r 9f546848ba48 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: