diff options
author | Norbert Preining <preining@logic.at> | 2019-09-16 14:04:10 +0000 |
---|---|---|
committer | Norbert Preining <preining@logic.at> | 2019-09-16 14:04:10 +0000 |
commit | 1694831a947597fa68771c5a7dbf0a0d3ade554c (patch) | |
tree | dfa926836567ef3f35bb2c650ce783d5fb25dd6a /Master/texmf-dist/fonts/vf/public/fira/FiraSans-SemiBoldItalic-tosf-sc-ot1.vf | |
parent | ee2bad21b58920f1103866e2d2101235f0f4ce5b (diff) |
curl downloader: add --retry-delay 5 to arguments
We are using --retry 10 but with defaults settins curl starts
waiting for 1sec and doubles this (up to a max of 10min) for
each retry. With 10 retries that we use this gets excessively long.
git-svn-id: svn://tug.org/texlive/trunk@52104 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/fonts/vf/public/fira/FiraSans-SemiBoldItalic-tosf-sc-ot1.vf')
0 files changed, 0 insertions, 0 deletions