add --retry 5 to curl opts in install_db4.sh

ElementsProject · Dec 6, 2018 · 522b80b · 522b80b
1 parent e2c473f
commit 522b80b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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