make sure killNodeWithUUID is called from right thread in DomainServer