diff options
| author | David Kalnischkies <david@kalnischkies.de> | 2018-01-14 00:07:20 +0100 |
|---|---|---|
| committer | David Kalnischkies <david@kalnischkies.de> | 2018-05-11 18:28:19 +0200 |
| commit | 2d6c6c8809c7b4c1a009df48387ba15066fda7e2 (patch) | |
| tree | e1ff0e90d1ef0cbe49518f27c4568047583b353d /.gitignore | |
| parent | b0283a5aeee428c9f2567b81ae78c9da68f6f4af (diff) | |
Drop alternative URIs we got a hash-based fail from
If we got a file but it produced a hash error, mismatched size or
similar we shouldn't fallback to alternative URIs as they likely result
in the same error. If we can we should instead use another mirror.
We used to be a lot stricter by stopping all trys for this file if we
got a non-404 (or a hash-based) failure, but that is too hard as we
really want to try other mirrors (if we have them) in the hope that they
have the expected and correct files.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions