simple change to support names as well as IPs in the *_server attributes