diff options
| author |  Arthur Nascimento <tureba@gmail.com>
| 2015-06-20 13:58:17 -0300 |
|---|---|---|
| committer |  Bo Ørsted Andresen <zlin@exherbo.org>
| 2015-08-12 18:32:13 +0200 |
| commit | 6ad3c8a3ab3fcae856e37e021d99d2d5ebb8efa5 (patch) | |
| tree | 35886cc0f191bcb6082e1294843bcbe240238121 | |
| parent | 5b38bf6e178a00620e2371210589ed9029b33aaf (diff) | |
| download | paludis-6ad3c8a3ab3fcae856e37e021d99d2d5ebb8efa5.tar.gz paludis-6ad3c8a3ab3fcae856e37e021d99d2d5ebb8efa5.tar.xz | |
dowget.in: permit changing timeout and retries
With this change the -T and -t parameters in EXTRA_WGET will be used
instead of being silently ignored.
Change-Id: I8412fa1c91cc073877c6e4b2051a6b07aef23022
Reviewed-on: https://galileo.mailstation.de/gerrit/2588
Reviewed-by: Kylie McClain <somasis@exherbo.org>
Reviewed-by: Bo Ørsted Andresen <zlin@exherbo.org>
| -rwxr-xr-x | paludis/fetchers/dowget.in | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/paludis/fetchers/dowget.in b/paludis/fetchers/dowget.in index 165888c..9af645c 100755 --- a/paludis/fetchers/dowget.in +++ b/paludis/fetchers/dowget.in @@ -38,8 +38,8 @@ if [[ -n "${PALUDIS_USE_SAFE_RESUME}" ]] ; then fi fi - echo ${WGET_WRAPPER} ${LOCAL_WGET:-wget} ${EXTRA_WGET} -T 30 -t 1 --continue -O "${2}".-PARTIAL- "${1}" 1>&2 - if ${WGET_WRAPPER} ${LOCAL_WGET:-wget} ${EXTRA_WGET} -T 30 -t 1 --continue -O "${2}".-PARTIAL- "${1}" ; then + echo ${WGET_WRAPPER} ${LOCAL_WGET:-wget} -T 30 -t 1 ${EXTRA_WGET} --continue -O "${2}".-PARTIAL- "${1}" 1>&2 + if ${WGET_WRAPPER} ${LOCAL_WGET:-wget} -T 30 -t 1 ${EXTRA_WGET} --continue -O "${2}".-PARTIAL- "${1}" ; then echo mv -f "${2}".-PARTIAL- "${2}" mv -f "${2}".-PARTIAL- "${2}" exit 0 @@ -49,8 +49,8 @@ if [[ -n "${PALUDIS_USE_SAFE_RESUME}" ]] ; then fi else - echo ${WGET_WRAPPER} ${LOCAL_WGET:-wget} ${EXTRA_WGET} -T 30 -t 1 -O "${2}" "${1}" 1>&2 - if ${WGET_WRAPPER} ${LOCAL_WGET:-wget} ${EXTRA_WGET} -T 30 -t 1 -O "${2}" "${1}" ; then + echo ${WGET_WRAPPER} ${LOCAL_WGET:-wget} -T 30 -t 1 ${EXTRA_WGET} -O "${2}" "${1}" 1>&2 + if ${WGET_WRAPPER} ${LOCAL_WGET:-wget} -T 30 -t 1 ${EXTRA_WGET} -O "${2}" "${1}" ; then exit 0 else rm -f "${2}" |