[Bug-wget] Recent change in development version

[Jochen Roderburg]

Hi Giuseppe,

There has been been a recent change in the 1.12.1 development version  
which is described as:

   Do not use an additional HEAD request when --content-disposition is used,
   but use directly GET.

This "additional HEAD request" used to be in wget for the cases where  
it needs additional information from the HTTP headers to decide if it  
really needs to do a GET (e.g. Date-Modified).

Can you explain how these cases are handled now after this change?
I understand that wget also gets the HTTP-Headers as reply to the GET,  
but what does it do now when it finds out that a download is not  
necessary? How does it stop the subsequent data-transfer?

I ask this because after this change I observed significant random  
delays on my daily wget downloads (summing up to several hours ;-) in  
a certain complicated situation involving a proxy.

Best regards,

Jochen Roderburg
RRZK
University of Cologne
Robert-Koch-Str. 10                    Tel.:   +49-221/478-7024
D-50931 Koeln                          E-Mail: address@hidden
Germany