# HG changeset patch # User Sylvain Thenault # Date 1228494345 -3600 # Node ID f6be0c92fc387320766c7b2f3626333eb0ca8d2a # Parent b726c12af78f9f01ae6ba7c70699a1795dc2d6d1 fix default values diff -r b726c12af78f -r f6be0c92fc38 web/application.py --- a/web/application.py Fri Dec 05 17:24:48 2008 +0100 +++ b/web/application.py Fri Dec 05 17:25:45 2008 +0100 @@ -31,9 +31,9 @@ def __init__(self): self.session_time = self.vreg.config['http-session-time'] or None assert self.session_time is None or self.session_time > 0 - self.cleanup_session_time = self.vreg.config['cleanup-session-time'] or 120 + self.cleanup_session_time = self.vreg.config['cleanup-session-time'] or 43200 assert self.cleanup_session_time > 0 - self.cleanup_anon_session_time = self.vreg.config['cleanup-anonymous-session-time'] or 720 + self.cleanup_anon_session_time = self.vreg.config['cleanup-anonymous-session-time'] or 120 assert self.cleanup_anon_session_time > 0 if self.session_time: assert self.cleanup_session_time < self.session_time