web/views/sessions.py
branchstable
changeset 7909 71c70bf482cf
parent 7854 d95a76df33a9
child 8311 76a44a0d7f4b
--- a/web/views/sessions.py	Tue Oct 04 13:58:57 2011 +0200
+++ b/web/views/sessions.py	Tue Oct 04 13:59:12 2011 +0200
@@ -25,7 +25,7 @@
                       BadConnectionId)
 from cubicweb.web import InvalidSession, Redirect
 from cubicweb.web.application import AbstractSessionManager
-from cubicweb.dbapi import DBAPISession
+from cubicweb.dbapi import ProgrammingError, DBAPISession
 
 
 class InMemoryRepositorySessionManager(AbstractSessionManager):
@@ -133,6 +133,6 @@
         if session.cnx:
             try:
                 session.cnx.close()
-            except BadConnectionId: # expired on the repository side
+            except (ProgrammingError, BadConnectionId): # expired on the repository side
                 pass
             session.cnx = None