Zitat von Jochen Roderburg [EMAIL PROTECTED]:
In the time-stamping mode wget always issued first a HEAD request when there
was
a local file, and later a GET request when after inspecting the HEAD outpout
it
found out that it should do so.
The wget 1.11 now *always* does the HEAD request,
Unfortunately the time-stamping saga continues ;-)
In the time-stamping mode wget always issued first a HEAD request when there was
a local file, and later a GET request when after inspecting the HEAD outpout it
found out that it should do so.
The wget 1.11 now *always* does the HEAD request,
