Jochen Roderburg <[EMAIL PROTECTED]> writes: > Hmm, this did not actually try to write over 'index.html', did it ;-) > Do the same with 'timestamping on' and you get > (not surprisingly and with 'all' wget versions I have around) : > > index.html: Permission denied > Cannot write to `index.html' (Permission denied).
But what is Wget to do in such a case except report an error?
