12 lines
566 B
Diff
12 lines
566 B
Diff
diff -ru a/tools/python/xen/xend/XendDomain.py b/tools/python/xen/xend/XendDomain.py
|
|
--- a/tools/python/xen/xend/XendDomain.py 2007-09-10 09:54:03.000000000 -0600
|
|
+++ b/tools/python/xen/xend/XendDomain.py 2007-09-10 09:55:46.000000000 -0600
|
|
@@ -1066,6 +1066,7 @@
|
|
log.info("Domain %s (%s) deleted." %
|
|
(dominfo.getName(), dominfo.info.get('uuid')))
|
|
|
|
+ dominfo.metrics.destroy()
|
|
self._managed_domain_unregister(dominfo)
|
|
self._remove_domain(dominfo)
|
|
XendDevices.destroy_device_state(dominfo)
|