diff options
| author | Thierry Vignaud <thierry.vignaud@gmail.com> | 2020-04-28 19:52:56 +0200 |
|---|---|---|
| committer | Thierry Vignaud <thierry.vignaud@gmail.com> | 2020-04-29 16:16:24 +0200 |
| commit | 0c1f6d163dacc6dfcc428424558e2bbd88d485b0 (patch) | |
| tree | e28cf49d852493d2e7ecabceac5699b3f496187a /urpmi.addmedia | |
| parent | dae8d5ed0fa08a150040148df550a7027f41c30b (diff) | |
| download | urpmi-0c1f6d163dacc6dfcc428424558e2bbd88d485b0.tar urpmi-0c1f6d163dacc6dfcc428424558e2bbd88d485b0.tar.gz urpmi-0c1f6d163dacc6dfcc428424558e2bbd88d485b0.tar.bz2 urpmi-0c1f6d163dacc6dfcc428424558e2bbd88d485b0.tar.xz urpmi-0c1f6d163dacc6dfcc428424558e2bbd88d485b0.zip | |
retry if curl failed with timeout
Diffstat (limited to 'urpmi.addmedia')
0 files changed, 0 insertions, 0 deletions