web/application.py
changeset 3408 c92170fca813
parent 2887 1282dc6525c5
child 4224 5998df006968
equal deleted inserted replaced
3407:da9cc8cc7c5f 3408:c92170fca813
    27 # print information about web session
    27 # print information about web session
    28 SESSION_MANAGER = None
    28 SESSION_MANAGER = None
    29 
    29 
    30 class AbstractSessionManager(component.Component):
    30 class AbstractSessionManager(component.Component):
    31     """manage session data associated to a session identifier"""
    31     """manage session data associated to a session identifier"""
    32     id = 'sessionmanager'
    32     __regid__ = 'sessionmanager'
    33 
    33 
    34     def __init__(self, vreg):
    34     def __init__(self, vreg):
    35         self.session_time = vreg.config['http-session-time'] or None
    35         self.session_time = vreg.config['http-session-time'] or None
    36         assert self.session_time is None or self.session_time > 0
    36         assert self.session_time is None or self.session_time > 0
    37         self.cleanup_session_time = vreg.config['cleanup-session-time'] or 43200
    37         self.cleanup_session_time = vreg.config['cleanup-session-time'] or 43200