scripts/functions
changeset 451 8a72f9bcf675
parent 439 dd62fca2d6fd
child 492 ef8ef3493392
child 511 1b0c1de0bcc9
     1.1 --- a/scripts/functions	Sun Apr 13 18:16:58 2008 +0000
     1.2 +++ b/scripts/functions	Fri Apr 18 22:16:28 2008 +0000
     1.3 @@ -283,9 +283,9 @@
     1.4      # With automated download as we are doing, it can be very dangerous to use
     1.5      # -c to continue the downloads. It's far better to simply overwrite the
     1.6      # destination file
     1.7 -    # Some company networks have proxies to connec to to the internet, but it's
     1.8 -    # not easy to detect them, and wget may never timeout while connecting, so
     1.9 -    # force a global 120s timeout.
    1.10 +    # Some company networks have proxies to connect to to the internet, but
    1.11 +    # it's not easy to detect them, and wget may never timeout while connecting,
    1.12 +    # so force a global 120s timeout.
    1.13      wget -T 120 -nc --progress=dot:binary --tries=3 --passive-ftp "$1"  \
    1.14      || wget -T 120 -nc --progress=dot:binary --tries=3 "$1"             \
    1.15      || true