aboutsummaryrefslogtreecommitdiff
path: root/contrib
diff options
context:
space:
mode:
authorqubenix <qubenix@users.noreply.github.com>2018-12-06 03:59:37 +0000
committerqubenix <qubenix@users.noreply.github.com>2018-12-06 03:59:37 +0000
commit522b80b33f3d775a3ecd5abb8ad8bf8a04906ece (patch)
tree3ebe1caf971c8e0d1bb9e03a9b36f77d966450f8 /contrib
parente2c473ff75f9ec272ab23e0ee30728b72aecd8f2 (diff)
add `--retry 5` to curl opts in install_db4.sh
Diffstat (limited to 'contrib')
-rwxr-xr-xcontrib/install_db4.sh2
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