web/application.py
changeset 168 f6be0c92fc38
parent 0 b97547f5f1fa
child 581 09f87f2c535e
equal deleted inserted replaced
167:b726c12af78f 168:f6be0c92fc38
    29     id = 'sessionmanager'
    29     id = 'sessionmanager'
    30     
    30     
    31     def __init__(self):
    31     def __init__(self):
    32         self.session_time = self.vreg.config['http-session-time'] or None
    32         self.session_time = self.vreg.config['http-session-time'] or None
    33         assert self.session_time is None or self.session_time > 0
    33         assert self.session_time is None or self.session_time > 0
    34         self.cleanup_session_time = self.vreg.config['cleanup-session-time'] or 120
    34         self.cleanup_session_time = self.vreg.config['cleanup-session-time'] or 43200
    35         assert self.cleanup_session_time > 0
    35         assert self.cleanup_session_time > 0
    36         self.cleanup_anon_session_time = self.vreg.config['cleanup-anonymous-session-time'] or 720
    36         self.cleanup_anon_session_time = self.vreg.config['cleanup-anonymous-session-time'] or 120
    37         assert self.cleanup_anon_session_time > 0
    37         assert self.cleanup_anon_session_time > 0
    38         if self.session_time:
    38         if self.session_time:
    39             assert self.cleanup_session_time < self.session_time
    39             assert self.cleanup_session_time < self.session_time
    40             assert self.cleanup_anon_session_time < self.session_time
    40             assert self.cleanup_anon_session_time < self.session_time
    41         self.authmanager = self.vreg.select_component('authmanager')
    41         self.authmanager = self.vreg.select_component('authmanager')