use the currently selected server when getting/setting an option