equal
deleted
inserted
replaced
129 {'type' : 'time', |
129 {'type' : 'time', |
130 'default': 0, |
130 'default': 0, |
131 'help': "duration of the cookie used to store session identifier. " |
131 'help': "duration of the cookie used to store session identifier. " |
132 "If 0, the cookie will expire when the user exist its browser. " |
132 "If 0, the cookie will expire when the user exist its browser. " |
133 "Should be 0 or greater than repository\'s session-time.", |
133 "Should be 0 or greater than repository\'s session-time.", |
134 'group': 'web', 'inputlevel': 2, |
134 'group': 'web', 'level': 2, |
135 }), |
135 }), |
136 ('cleanup-session-time', |
136 ('cleanup-session-time', |
137 {'type' : 'time', |
137 {'type' : 'time', |
138 'default': '24h', |
138 'default': '24h', |
139 'help': 'duration of inactivity after which a connection ' |
139 'help': 'duration of inactivity after which a connection ' |