summaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2010-01-10 16:43:23 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2010-01-10 16:43:23 (GMT)
commita2164e86c558b416476118c8242e0b5f4966b495 (patch)
treec24b753e031efec9aa0e0f072991ff3bea3ba151 /scripts
parent09f87e1ecbc5c5aaa2b19c85f8ce375f39a09899 (diff)
parent185ea5a640bf675fcf5157e67dc323927453773a (diff)
Merge.
Diffstat (limited to 'scripts')
-rw-r--r--scripts/functions4
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/functions b/scripts/functions
index 4b279ac..57c8aa7 100644
--- a/scripts/functions
+++ b/scripts/functions
@@ -343,8 +343,8 @@ CT_DoGetFileCurl() {
# Note: comments about wget method (above) are also valid here
# Plus: no good progress indicator is available with curl,
# so, be silent.
- CT_DoExecLog ALL curl -s --ftp-pasv -O --retry 3 "$1" --connect-timeout ${CT_CONNECT_TIMEOUT} \
- || CT_DoExecLog ALL curl -s -O --retry 3 "$1" --connect-timeout ${CT_CONNECT_TIMEOUT} \
+ CT_DoExecLog ALL curl -s --ftp-pasv -O --retry 3 "$1" --connect-timeout ${CT_CONNECT_TIMEOUT} -L -f \
+ || CT_DoExecLog ALL curl -s -O --retry 3 "$1" --connect-timeout ${CT_CONNECT_TIMEOUT} -L -f \
|| true
}