Remove the domain and VM paths from the store when destroying a domain. This

goes a long way towards fixing the problem of stale entries in the store.

Signed-off-by: Ewan Mellor <ewan@xensource.com>

tools/python/xen/xend/XendDomainInfo.py

@@ -976,10 +976,20 @@ class XendDomainInfo:
 
         self.cleanup()
 
+        try:
+            self.removeVm()
+        except Exception:
+            log.exception("Removing VM path failed.")
+
+        try:
+            self.removeDom()
+        except Exception:
+            log.exception("Removing domain path failed.")
+
         try:
             if self.domid is not None:
                 xc.domain_destroy(dom=self.domid)
-        except Exception, exn:
+        except Exception:
             log.exception("XendDomainInfo.destroy: xc.domain_destroy failed.")