changeset 8211 | 543e1579ba0d |
parent 8190 | 2a3c1b787688 |
child 8239 | c6cdd060212e |
--- a/server/hook.py Fri Feb 10 10:45:17 2012 +0100 +++ b/server/hook.py Fri Feb 10 16:20:35 2012 +0100 @@ -1064,6 +1064,8 @@ remove inserted eid from repository type/source cache """ try: - self.session.repo.clear_caches(self.get_data()) + eids = self.get_data() + self.session.repo.clear_caches(eids) + self.session.repo.app_instances_bus.publish(['delete'] + list(str(eid) for eid in eids)) except KeyError: pass