132 'default': 0, |
132 'default': 0, |
133 'help': "duration of the cookie used to store session identifier. " |
133 'help': "duration of the cookie used to store session identifier. " |
134 "If 0, the cookie will expire when the user exist its browser. " |
134 "If 0, the cookie will expire when the user exist its browser. " |
135 "Should be 0 or greater than repository\'s session-time.", |
135 "Should be 0 or greater than repository\'s session-time.", |
136 'group': 'web', 'level': 2, |
136 'group': 'web', 'level': 2, |
137 }), |
|
138 ('cleanup-session-time', |
|
139 {'type' : 'time', |
|
140 'default': '24h', |
|
141 'help': 'duration of inactivity after which a connection ' |
|
142 'will be closed, to limit memory consumption (avoid sessions that ' |
|
143 'never expire and cause memory leak when http-session-time is 0). ' |
|
144 'So even if http-session-time is 0 and the user don\'t close his ' |
|
145 'browser, he will have to reauthenticate after this time of ' |
|
146 'inactivity. Default to 24h.', |
|
147 'group': 'web', 'level': 3, |
|
148 }), |
137 }), |
149 ('cleanup-anonymous-session-time', |
138 ('cleanup-anonymous-session-time', |
150 {'type' : 'time', |
139 {'type' : 'time', |
151 'default': '5min', |
140 'default': '5min', |
152 'help': 'Same as cleanup-session-time but specific to anonymous ' |
141 'help': 'Same as cleanup-session-time but specific to anonymous ' |