diff options
| author | qubenix <qubenix@users.noreply.github.com> | 2018-12-06 03:59:37 +0000 |
|---|---|---|
| committer | qubenix <qubenix@users.noreply.github.com> | 2018-12-06 03:59:37 +0000 |
| commit | 522b80b33f3d775a3ecd5abb8ad8bf8a04906ece (patch) | |
| tree | 3ebe1caf971c8e0d1bb9e03a9b36f77d966450f8 /contrib | |
| parent | e2c473ff75f9ec272ab23e0ee30728b72aecd8f2 (diff) | |
add `--retry 5` to curl opts in install_db4.sh
Diffstat (limited to 'contrib')
| -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 |