scripts/functions
changeset 2080 eefacabd9e72
parent 2079 d2ceb140371d
child 2096 5f01a23be1e4
     1.1 --- a/scripts/functions	Wed Aug 11 19:13:10 2010 +0200
     1.2 +++ b/scripts/functions	Wed Aug 11 20:07:18 2010 +0200
     1.3 @@ -363,7 +363,7 @@
     1.4      # connecting, so force a global ${CT_CONNECT_TIMEOUT}-second timeout.
     1.5      CT_DoExecLog ALL wget -T ${CT_CONNECT_TIMEOUT} -nc --progress=dot:binary --tries=3 --passive-ftp "$1"    \
     1.6      || CT_DoExecLog ALL wget -T ${CT_CONNECT_TIMEOUT} -nc --progress=dot:binary --tries=3 "$1"               \
     1.7 -    || true
     1.8 +    || rm -f "${1##*/}"
     1.9  }
    1.10  
    1.11  # Download an URL using curl
    1.12 @@ -374,7 +374,7 @@
    1.13      #       so, be silent.
    1.14      CT_DoExecLog ALL curl -s --ftp-pasv -O --retry 3 "$1" --connect-timeout ${CT_CONNECT_TIMEOUT} -L -f  \
    1.15      || CT_DoExecLog ALL curl -s -O --retry 3 "$1" --connect-timeout ${CT_CONNECT_TIMEOUT} -L -f          \
    1.16 -    || true
    1.17 +    || rm -f "${1##*/}"
    1.18  }
    1.19  
    1.20  # Download using aria2