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',