Fixing bug on get_esgf_dist_mirror interactive