]> https://gitweb.dealii.org/ - candi.git/commit
projects / candi.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 800d351) | patch
curl: report errors and follow redirects
authorTimo Heister <timo.heister@gmail.com>
Thu, 4 Feb 2016 23:02:37 +0000 (18:02 -0500)
committerTimo Heister <timo.heister@gmail.com>
Thu, 4 Feb 2016 23:02:37 +0000 (18:02 -0500)
commit8d0857c31fa037a4a67698b1d7183eca2be20ffb
tree4af985d4ec2aedd0208142808092a5f45c5b995btree | snapshot
parent800d3510dd1a8c4cccc02fa8164768394b35d142commit | diff
curl: report errors and follow redirects

- curl -f will report an error code if the source reports 404 which
happens if the mirror doesn't contain the file. Otherwise we are left
with an invalid file.
- curl -L will follow redirects (302), which sourceforge uses sometimes.
Before we downloaded an invalid file (html page).
- verify_archive will no longer accept empty files as valid
candi.sh diff | blob | history
Mirror of the development repository for candi

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.