Merge.
author"Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sun Jan 10 17:43:23 2010 +0100 (2010-01-10)
changeset 1725dbd5078816f9
parent 1724 9f1fca384d6f
parent 1720 3995b34ba925
child 1726 f581da7fe34e
Merge.
     1.1 --- a/scripts/functions	Sun Jan 10 17:32:32 2010 +0100
     1.2 +++ b/scripts/functions	Sun Jan 10 17:43:23 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