diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-07-08 18:05:36 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-07-08 18:05:38 +0100 |
commit | eebba5982cca5be0436693ca3334fb0b17c4f88a (patch) | |
tree | 8df3af2f3b50ae2fc495bff1487f9eae33dad4fc /Debian/Dgit | |
parent | 965e601bb3231f2a3e97d6faf04febc61cec8ba8 (diff) |
dgit: Cope if the archive server sends an HTTP redirect
We achieve this by passing -L to curl.
We also pass an appropriate-seeming --proto-redir, because the curl
manual is not entirely reassuring that following redirections with the
default configuration is safe.
This finally fixes #867185/#867309. What happens there is that curl
gets a redirect, along with an HTML error document. curl then exits
with status zero, effectively pretending that the error document is
the resource which was requested. dgit notices that something is
wrong because the file does not have the expected cryptographic
checksum.
I suspect that there are other download problems which would give a
similar effect. Sadly the curl manpage doesn't seem to suggest a way
to avoid this. At least, dgit will never carry on in such a
situation, since it insists that the file has the right hash. And if
it does have the right hash we don't really care how it was obtained.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'Debian/Dgit')
0 files changed, 0 insertions, 0 deletions