diff options
-rw-r--r-- | project.py | 9 |
1 files changed, 8 insertions, 1 deletions
@@ -2875,7 +2875,14 @@ class Project: | |||
2875 | 2875 | ||
2876 | # We do not use curl's --retry option since it generally doesn't | 2876 | # We do not use curl's --retry option since it generally doesn't |
2877 | # actually retry anything; code 18 for example, it will not retry on. | 2877 | # actually retry anything; code 18 for example, it will not retry on. |
2878 | cmd = ["curl", "--fail", "--output", tmpPath, "--netrc", "--location"] | 2878 | cmd = [ |
2879 | "curl", | ||
2880 | "--fail", | ||
2881 | "--output", | ||
2882 | tmpPath, | ||
2883 | "--netrc-optional", | ||
2884 | "--location", | ||
2885 | ] | ||
2879 | if quiet: | 2886 | if quiet: |
2880 | cmd += ["--silent", "--show-error"] | 2887 | cmd += ["--silent", "--show-error"] |
2881 | if os.path.exists(tmpPath): | 2888 | if os.path.exists(tmpPath): |