[PATCH] Adapt to the new argument list for save_servers_to_config.