download.patch 597 B

12345678910111213
  1. --- a/scripts/download.pl
  2. +++ b/scripts/download.pl
  3. @@ -80,8 +80,8 @@ ($)
  4. }
  5. return $have_curl
  6. - ? (qw(curl -f --connect-timeout 20 --retry 5 --location --insecure), shellwords($ENV{CURL_OPTIONS} || ''), $url)
  7. - : (qw(wget --tries=5 --timeout=20 --no-check-certificate --output-document=-), shellwords($ENV{WGET_OPTIONS} || ''), $url)
  8. + ? (qw(curl -f --connect-timeout 5 -m 30 --retry 3 --location --insecure), shellwords($ENV{CURL_OPTIONS} || ''), $url)
  9. + : (qw(wget --tries=3 --timeout=20 --no-check-certificate --output-document=-), shellwords($ENV{WGET_OPTIONS} || ''), $url)
  10. ;
  11. }