diff options
-rw-r--r-- | Master/tlpkg/TeXLive/TLConfig.pm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/TeXLive/TLConfig.pm b/Master/tlpkg/TeXLive/TLConfig.pm index 4059283b82c..10bca165473 100644 --- a/Master/tlpkg/TeXLive/TLConfig.pm +++ b/Master/tlpkg/TeXLive/TLConfig.pm @@ -114,7 +114,7 @@ if ($^O =~ /^MSWin/i) { our @AcceptedFallbackDownloaders = qw/curl wget/; our %FallbackDownloaderProgram = ( 'wget' => 'wget', 'curl' => 'curl'); our %FallbackDownloaderArgs = ( - 'curl' => ['--user-agent', 'texlive/curl', '--retry', '10', + 'curl' => ['--user-agent', 'texlive/curl', '--retry', '10', '--retry-delay', '5', '--fail', '--location', '--connect-timeout', "$NetworkTimeout", '--silent', '--output'], 'wget' => ['--user-agent=texlive/wget', '--tries=10', |