-
Christian Kellner authored
When the domain is removed, its resources are freed, which includes the domain id; cache the idstr so we can use it after the domain was freed.
230dcd75
When the domain is removed, its resources are freed, which includes the domain id; cache the idstr so we can use it after the domain was freed.