web/webconfig.py
changeset 5527 01a7228ab5a0
parent 5510 d3e155cab542
parent 5515 513af9be9e37
child 5555 a64f48dd5fe4
--- a/web/webconfig.py	Tue May 11 08:29:15 2010 +0200
+++ b/web/webconfig.py	Mon May 17 11:05:37 2010 +0200
@@ -134,7 +134,7 @@
           'help': "duration of the cookie used to store session identifier. "
           "If 0, the cookie will expire when the user exist its browser. "
           "Should be 0 or greater than repository\'s session-time.",
-          'group': 'web', 'inputlevel': 2,
+          'group': 'web', 'level': 2,
           }),
         ('cleanup-session-time',
          {'type' : 'time',