Regarding (2) when you click start server any changes you have made to preferences are applied. So there is no need to grey out the button.
Re-assing to Charles for (1)
Regarding (2) when you click start server any changes you have made to
preferences are applied. So there is no need to grey out the button.
Re-assing to Charles for (1)