equal
deleted
inserted
replaced
114 interval = min(config['cleanup-session-time'] or 120, |
114 interval = min(config['cleanup-session-time'] or 120, |
115 config['cleanup-anonymous-session-time'] or 720) / 2. |
115 config['cleanup-anonymous-session-time'] or 720) / 2. |
116 start_task(interval, self.appli.session_handler.clean_sessions) |
116 start_task(interval, self.appli.session_handler.clean_sessions) |
117 |
117 |
118 def set_url_rewriter(self): |
118 def set_url_rewriter(self): |
119 self.url_rewriter = self.appli.vreg['components'].select_object('urlrewriter') |
119 self.url_rewriter = self.appli.vreg['components'].select_or_none('urlrewriter') |
120 |
120 |
121 def shutdown_event(self): |
121 def shutdown_event(self): |
122 """callback fired when the server is shutting down to properly |
122 """callback fired when the server is shutting down to properly |
123 clean opened sessions |
123 clean opened sessions |
124 """ |
124 """ |