handle server names with embeded ports