URL:
<https://savannah.gnu.org/bugs/?56808>
Summary: wget uses HEAD method when both --spider and
--post-data options are used
Project: GNU Wget
Submitted by: None
Submitted on: Mon 26 Aug 2019 10:27:59 AM UTC
Category: Program Logic
Severity: 3 - Normal
Priority: 5 - Normal
Status: None
Privacy: Public
Assigned to: None
Originator Name:
Originator Email:
Open/Closed: Open
Discussion Lock: Any
Release: 1.19.4
Operating System: GNU/Linux
Reproducibility: Every Time
Fixed Release: None
Planned Release: None
Regression: None
Work Required: None
Patch Included: No
_______________________________________________________
Details:
HEAD request should return the same result as of GET request, except that the
response body is empty.
https://www.w3.org/Protocols/rfc2616/rfc2616-sec9.html
So if both --spider and --post-data options are used, I think wget should use
POST method. If wget sends HEAD request, then the response header would be
that of GET request, not POST request.
Or perhaps it should be forbidden to use the two options at the same time, as
is the case of --method and --post-data.
I'm not sure if this is a bug or a feature. Please ignore this if you think
this is not a bug. Who would use that two options at the same time for normal
use?
Thanks.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?56808>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
