added option default_server to mark one server as the default.