diff -r c035a0fe75d8 -r 01a7228ab5a0 web/webconfig.py
--- 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',