domain: make Domain.exit() no-op for unused domains