server/session.py
branchstable
changeset 3074 141cfaac6b97
parent 2874 acdd8d8c2cff
child 3084 096d680c9da2
child 3112 873202e181bb
--- a/server/session.py	Tue Sep 01 11:02:31 2009 +0200
+++ b/server/session.py	Tue Sep 01 17:25:00 2009 +0200
@@ -129,8 +129,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]