Re: Time out for a terminology check--"resolver" vs "server".