> No. Wget does not perform this optimization. As mentioned by Tim, there > are many valid usecases where one would want to actually download the > body, but not store it.
> However, some servers do not > follow this (*cough* Google *cough*). If it works fine for you, yes, you > can simply use the `--spider` option to get only the headers. That is what I found out. The response headers of GET and HEAD are not always the same. So, is it better to let wget support a new option so that the response body will not be downloaded? -- Regards, Peng
