allow user to set server preference, closes #10