server/serverconfig.py
changeset 5328 c51e8f62652a
parent 5323 329b4f6d18b4
parent 5326 0d9054eb3bd1
child 5423 e15abfdcce38
--- a/server/serverconfig.py	Mon Apr 19 13:51:16 2010 +0200
+++ b/server/serverconfig.py	Mon Apr 19 13:52:55 2010 +0200
@@ -109,8 +109,8 @@
           'group': 'main', 'level': (CubicWebConfiguration.mode == 'installed') and 0 or 1,
           }),
         ('session-time',
-         {'type' : 'int',
-          'default': 30*60,
+         {'type' : 'time',
+          'default': '30min',
           'help': 'session expiration time, default to 30 minutes',
           'group': 'main', 'level': 1,
           }),