web/application.py
branchstable
changeset 7589 d3459fe041f0
parent 7428 5338d895b891
child 7815 2a164a9cf81c
--- a/web/application.py	Thu Jun 30 08:27:56 2011 +0200
+++ b/web/application.py	Thu Jun 30 16:26:25 2011 +0200
@@ -71,6 +71,8 @@
             total += 1
             try:
                 last_usage_time = session.cnx.check()
+            except AttributeError:
+                last_usage_time = session.mtime
             except BadConnectionId:
                 self.close_session(session)
                 closed += 1
@@ -228,7 +230,9 @@
                             self.session_manager.close_session(session)
 
     def get_session(self, req, sessionid):
-        return self.session_manager.get_session(req, sessionid)
+        session = self.session_manager.get_session(req, sessionid)
+        session.mtime = time()
+        return session
 
     def open_session(self, req, allow_no_cnx=True):
         session = self.session_manager.open_session(req, allow_no_cnx=allow_no_cnx)