xen-org/xen-api — pull request #1303 by euanh (2013-06-11 12:08:15+00:00)
Title: CA-92550: Update xenstore permissions on /vm/<uuid> tree to reflect the new domain ID when a domain is rebooted or migrated to localhost.

For want of a better place to put it, I've added 'xenops/utils.ml' to hold a new utility function that recurses over a subtree in Xenstore. This should be moved to somewhere more suitable.