On 2015/01/12 12:35, Alexander Bluhm wrote: > Hi, > > Fetching port distfiles with ftp from githup does not work when > using a https proxy. The problem is that the http Host header is > not not set and githup.com needs that. > > So remember the host form the url and write it into the http request. > Also write the http request into the debugging output to see what > is going on. > > Note that using Proxy-Authorization together with Cookie did not > work. I have fixed the format string. > > ok?
Definitely! This also fixes a long-standing problem using HTTP over proxy servers that cannot reconstruct a Host: header from the supplied URL (IIRC mikeb ran into a problem with this with an old work proxy).
