Leave domain active after exit(). Closes #1173