| # We want to catch any unexpected failure, and exit immediately |
| # Download helper for wget, to be called from the download wrapper script |
| # -o FILE Save into file FILE. |
| # -f FILENAME The filename of the tarball to get at URL |
| # -u URL Download file at URL. |
| # -e ENCODE Tell wget to urlencode the filename passed to it |
| # WGET : the wget command to call |
| while getopts "${BR_BACKEND_DL_GETOPTS}" OPT; do |
| f) filename="${OPTARG}";; |
| :) printf "option '%s' expects a mandatory argument\n" "${OPTARG}"; exit 1;; |
| \?) printf "unknown option '%s'\n" "${OPTARG}" >&2; exit 1;; |
| shift $((OPTIND-1)) # Get rid of our options |
| # Caller needs to single-quote its arguments to prevent them from |
| # being expanded a second time (in case there are spaces in them) |
| if [ -z "${quiet}" ]; then |
| printf '%s ' ${WGET} "${@}"; printf '\n' |
| # Note: please keep command below aligned with what is printed above |
| # Replace every '?' with '%3F' in the filename; only for the PRIMARY and BACKUP |
| [ -n "${encode}" ] && filename=${filename//\?/%3F} |
| _wget ${quiet} "${@}" -O "'${output}'" "'${url}/${filename}'" |