diff -r 3679015c0a50 -r 513af9be9e37 web/webconfig.py
--- a/web/webconfig.py	Tue May 11 16:58:35 2010 +0200
+++ b/web/webconfig.py	Wed May 12 09:29:53 2010 +0200
@@ -131,7 +131,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',