On 20.12.22 20:01, Julien Grall wrote:
Hi Juergen,On 13/12/2022 16:00, Juergen Gross wrote:When a domain has been released by Xen tools, remove all its registered watches. This avoids sending watch events to the dead domain when all the nodes related to it are being removed by the Xen tools.AFAICT, the only user of the command in the tree is softreset. Would you be able to check this is still working as expected?
Seems to work fine. Juergen
OpenPGP_0xB0DE9DD628BF132F.asc
Description: OpenPGP public key
OpenPGP_signature
Description: OpenPGP digital signature
