aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAvatar Arthur Nascimento <tureba@gmail.com> 2015-06-20 13:58:17 -0300
committerAvatar Bo ├śrsted Andresen <zlin@exherbo.org> 2015-08-12 18:32:13 +0200
commit6ad3c8a3ab3fcae856e37e021d99d2d5ebb8efa5 (patch)
tree35886cc0f191bcb6082e1294843bcbe240238121
parent5b38bf6e178a00620e2371210589ed9029b33aaf (diff)
downloadpaludis-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-xpaludis/fetchers/dowget.in8
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}"