On Wed, 15 Aug 2001, Dave Turner wrote:

> Not sure if this is wget's fault or a broken server, but it happens on a
> lot of servers so maybe it should be handled better.

It's not a broken server per se, but inconsistencies in server
implementations.  After a REST some servers respond to RETR with 150
<blah> (xxxx bytes) where xxxx is the total filesize (as expected by
wget); others respond with only the remaining filesize, and there is no
direct way of differentiating the two.

By way of a hack I have used the SIZE command, not supported by RFC959 but
still accepted by many of the servers I use, to get the size of the file.
If that fails then it falls back on the old method.  The patch is
attached, in what I hope is an acceptable format.  This is my first
bugfix, but

tar -zxf wget-1.7.tar.gz
gunzip -c wget-1.7-size-fix.patch.gz | patch -p0

works here.  HTH,

-- 
Dave Turner
[EMAIL PROTECTED]

Reply via email to