1.1 --- a/scripts/functions	Fri May 09 19:07:02 2014 -0700
     1.2 +++ b/scripts/functions	Sat May 10 12:33:37 2014 +0200
     1.3 @@ -571,7 +571,6 @@
     1.4      # Some company networks have firewalls to connect to the internet, but it's
     1.5      # not easy to detect them, so force a global ${CT_CONNECT_TIMEOUT}-second
     1.6      # timeout.
     1.7 -    # For curl, no good progress indicator is available. So, be silent.
     1.8      if [ ${CT_CONNECT_TIMEOUT} = -1 ]; then
     1.9          T=
    1.10      else