diff options
| -rw-r--r-- | src/bootstrap/bootstrap.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/bootstrap/bootstrap.py b/src/bootstrap/bootstrap.py index 00dc7da275a..54b6750cc4d 100644 --- a/src/bootstrap/bootstrap.py +++ b/src/bootstrap/bootstrap.py @@ -122,6 +122,7 @@ def _download(path, url, probably_big, verbose, exception, help_on_error=None): option = "-s" require(["curl", "--version"]) run(["curl", option, + "-L", # Follow redirect. "-y", "30", "-Y", "10", # timeout if speed is < 10 bytes/sec for > 30 seconds "--connect-timeout", "30", # timeout if cannot connect within 30 seconds "--retry", "3", "-Sf", "-o", path, url], |