fixed enabling/disabling options in server.html.in