Use get_server_name in delete_server