Add Host: header to URL request.

This commit is contained in:
Guido van Rossum 1997-06-03 14:34:19 +00:00
parent b94cd96977
commit c24751b57a
1 changed files with 5 additions and 1 deletions

View File

@ -201,11 +201,14 @@ class URLopener:
if type(url) is type(""): if type(url) is type(""):
host, selector = splithost(url) host, selector = splithost(url)
user_passwd, host = splituser(host) user_passwd, host = splituser(host)
realhost = host
else: else:
host, selector = url host, selector = url
urltype, rest = splittype(selector) urltype, rest = splittype(selector)
user_passwd = None user_passwd = None
if string.lower(urltype) == 'http': if string.lower(urltype) != 'http':
realhost = None
else:
realhost, rest = splithost(rest) realhost, rest = splithost(rest)
user_passwd, realhost = splituser(realhost) user_passwd, realhost = splituser(realhost)
if user_passwd: if user_passwd:
@ -227,6 +230,7 @@ class URLopener:
else: else:
h.putrequest('GET', selector) h.putrequest('GET', selector)
if auth: h.putheader('Authorization', 'Basic %s' % auth) if auth: h.putheader('Authorization', 'Basic %s' % auth)
if realhost: h.putheader('Host', realhost)
for args in self.addheaders: apply(h.putheader, args) for args in self.addheaders: apply(h.putheader, args)
h.endheaders() h.endheaders()
if data is not None: if data is not None: