diff -r fa028a13929e -r 4baa6a9f6415 scripts/functions
--- a/scripts/functions	Sat Jan 09 17:31:25 2010 +0100
+++ b/scripts/functions	Fri Jan 15 22:21:12 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
 }