unmap_interface(domain->interface);
}
- fire_watches(NULL, domain, "@releaseDomain", NULL, false, NULL);
+ fire_watches(NULL, domain, "@releaseDomain", NULL, true, NULL);
wrl_domain_destroy(domain);
}
if (notify)
- fire_watches(NULL, NULL, "@releaseDomain", NULL, false, NULL);
+ fire_watches(NULL, NULL, "@releaseDomain", NULL, true, NULL);
}
/* We scan all domains rather than use the information given here. */
if (!is_master_domain && !restore)
fire_watches(NULL, ctx, "@introduceDomain", NULL,
- false, NULL);
+ true, NULL);
} else {
/* Use XS_INTRODUCE for recreating the xenbus event-channel. */
if (domain->port)