scripts/functions
changeset 1738 4baa6a9f6415
parent 1718 fa028a13929e
child 1741 2d94844c1a63
     1.1 --- a/scripts/functions	Sat Jan 09 17:31:25 2010 +0100
     1.2 +++ b/scripts/functions	Fri Jan 15 22:21:12 2010 +0100
     1.3 @@ -343,8 +343,8 @@
     1.4      # Note: comments about wget method (above) are also valid here
     1.5      # Plus: no good progress indicator is available with curl,
     1.6      #       so, be silent.
     1.7 -    CT_DoExecLog ALL curl -s --ftp-pasv -O --retry 3 "$1" --connect-timeout ${CT_CONNECT_TIMEOUT}    \
     1.8 -    || CT_DoExecLog ALL curl -s -O --retry 3 "$1" --connect-timeout ${CT_CONNECT_TIMEOUT}            \
     1.9 +    CT_DoExecLog ALL curl -s --ftp-pasv -O --retry 3 "$1" --connect-timeout ${CT_CONNECT_TIMEOUT} -L -f  \
    1.10 +    || CT_DoExecLog ALL curl -s -O --retry 3 "$1" --connect-timeout ${CT_CONNECT_TIMEOUT} -L -f          \
    1.11      || true
    1.12  }
    1.13