# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1263141803 -3600
# Node ID dbd5078816f93798b6811b82a900545f6d36035a
# Parent  9f1fca384d6f7d9d77a13f7b12d31fe8db9645de# Parent  3995b34ba925439e4bb52ba9697b57d2dd226be3
Merge.

diff -r 9f1fca384d6f -r dbd5078816f9 scripts/functions
--- a/scripts/functions	Sun Jan 10 17:32:32 2010 +0100
+++ b/scripts/functions	Sun Jan 10 17:43:23 2010 +0100
@@ -343,8 +343,8 @@
     # 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
 }