scripts/functions
changeset 3307 d7eaba5831d5
parent 3247 01ef2159b12a
child 3308 b571b3566915
     1.1 --- a/scripts/functions	Fri Nov 15 21:16:52 2013 +0100
     1.2 +++ b/scripts/functions	Fri May 09 19:07:02 2014 -0700
     1.3 @@ -572,9 +572,14 @@
     1.4      # not easy to detect them, so force a global ${CT_CONNECT_TIMEOUT}-second
     1.5      # timeout.
     1.6      # For curl, no good progress indicator is available. So, be silent.
     1.7 +    if [ ${CT_CONNECT_TIMEOUT} = -1 ]; then
     1.8 +        T=
     1.9 +    else
    1.10 +        T="-T ${CT_CONNECT_TIMEOUT}"
    1.11 +    fi
    1.12      if CT_DoExecLog ALL wget --passive-ftp --tries=3 -nc    \
    1.13                               --progress=dot:binary          \
    1.14 -                             -T ${CT_CONNECT_TIMEOUT}       \
    1.15 +                             ${T}                           \
    1.16                               -O "${tmp}"                    \
    1.17                               "${url}"
    1.18      then