server/session.py
changeset 3085 b415bca9a9ed
parent 2968 0e3460341023
parent 3084 096d680c9da2
child 3163 edfe43ceaa35
--- a/server/session.py	Wed Sep 02 10:22:47 2009 +0200
+++ b/server/session.py	Wed Sep 02 10:24:15 2009 +0200
@@ -153,8 +153,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]