From: "jdd@dodin.org"
Actually I meant:
ip_server = [user [ : password ] @ ] host [ : port]
I think ip_server is an error, the result is not an IP, but an url. I would say: server_URL = [user [ : password ] @ ] host [ : port] jdd FWIW, the relevant RFC [1] calls this the "authority": 3.2. Authority Many URI schemes include a hierarchical element for a naming authority so that governance of the name space defined by the remainder of the URI is delegated to that authority . . . authority = [ userinfo "@" ] host [ ":" port ] For an HTTP URL, you could also say "publisher." -- Bob Rogers http://www.rgrjr.com/ [1] https://www.rfc-editor.org/info/rfc3986 p.17