diff options
author | MarcoFalke <falke.marco@gmail.com> | 2018-12-11 13:43:18 -0500 |
---|---|---|
committer | MarcoFalke <falke.marco@gmail.com> | 2018-12-11 13:43:20 -0500 |
commit | d680ef9381b436b54e5e8000c740ead83327110d (patch) | |
tree | c736e9e5092cf8eef25993816eb7935f88c757f5 | |
parent | 5f23460c7e316fe7c944680f3feff07ebb867f70 (diff) | |
parent | 522b80b33f3d775a3ecd5abb8ad8bf8a04906ece (diff) |
Merge #14883: add `--retry 5` to curl opts in install_db4.sh
522b80b33f add `--retry 5` to curl opts in install_db4.sh (qubenix)
Pull request description:
I ran into some network issue that caused the clang patch to not download and the script exited. A retry would have solved it. The fallback choice, `wget`, has a default 20 retries.
I chose 5 retries because `curl` backs of after each try, starting at one second and doubling each time. 5 retries means that worst case scenario would be a total of 31 seconds waiting between attempts. IMO that should be enough tries if internet is working, but not too much if internet is not working.
Tree-SHA512: ff48e1f8a9d39b9c6fabc616223974f46fadc5a1b30793cdaaf5ea4ce79f7c76efd259bfa9e81a5a7a7cff60b7133d89448faa3f86cc2f9b0c5ac9adf8dd2a9b
-rwxr-xr-x | contrib/install_db4.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/install_db4.sh b/contrib/install_db4.sh index 4f74e67f2f..e90b8af7e1 100755 --- a/contrib/install_db4.sh +++ b/contrib/install_db4.sh @@ -51,7 +51,7 @@ http_get() { if [ -f "${2}" ]; then echo "File ${2} already exists; not downloading again" elif check_exists curl; then - curl --insecure "${1}" -o "${2}" + curl --insecure --retry 5 "${1}" -o "${2}" else wget --no-check-certificate "${1}" -O "${2}" fi |