server/session.py
branch3.5
changeset 3084 096d680c9da2
parent 2940 db2fb2907389
parent 3074 141cfaac6b97
child 3085 b415bca9a9ed
child 3110 757d36162235
--- a/server/session.py	Tue Sep 01 18:45:50 2009 +0200
+++ b/server/session.py	Wed Sep 02 10:23:38 2009 +0200
@@ -156,8 +156,11 @@
                 if row[0] == targeteid:
                     break
             else:
-                raise Exception('cache inconsistency for %s %s %s %s' %
-                                (eid, rtype, role, targeteid))
+                # this may occurs if the cache has been filed by a hook
+                # after the database update
+                self.debug('cache inconsistency for %s %s %s %s', eid, rtype,
+                           role, targeteid)
+                return
             del rset.rows[idx]
             if isinstance(rset.description, list): # else description not set
                 del rset.description[idx]