diff options
| author | David Kalnischkies <david@kalnischkies.de> | 2016-08-14 13:12:08 +0200 |
|---|---|---|
| committer | David Kalnischkies <david@kalnischkies.de> | 2016-08-17 07:55:45 +0200 |
| commit | ad9416611ab83f7799f2dcb4bf7f3ef30e9fe6f8 (patch) | |
| tree | 8ae1c40f3b12b02b468b53d43ad5b4412f88a95c /prepare-release | |
| parent | 18ccc85f02325ac87ee13bb96c92594fcfda5ea4 (diff) | |
retry without same redirection mirror on 404 errors
If 9b8034a9fd40b4d05075fda719e61f6eb4c45678 serves the Release files
from a partial mirror we will end up getting 404 for some of the
indexes. Instead of giving up, we will instead ignore our same
redirection mirror constrain and ask the redirection service as a
potential hashsum mismatch is better than keeping the certain 404 error.
Diffstat (limited to 'prepare-release')
0 files changed, 0 insertions, 0 deletions