server/hook.py
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