add an option in preferences to dynamically switch domain servers