scripts/functions
changeset 775 153450c9a9ab
parent 773 7f4279913498
child 776 d8777ccf522a
     1.1 --- a/scripts/functions	Sat Aug 09 17:40:44 2008 +0000
     1.2 +++ b/scripts/functions	Sat Aug 09 17:45:55 2008 +0000
     1.3 @@ -290,9 +290,10 @@
     1.4  
     1.5  # Set environment for proxy access
     1.6  # Usage: CT_DoSetProxy <proxy_type>
     1.7 -# where proxy_type is one of 'none', 'http', 'sockssys', 'socks4' or 'socks5'
     1.8 +# where proxy_type is one of 'http', 'sockssys', 'socks4' or 'socks5',
     1.9 +# or empty (to not change proxy settings).
    1.10  CT_DoSetProxy() {
    1.11 -    case "${CT_PROXY_TYPE}" in
    1.12 +    case "${1}" in
    1.13          http)
    1.14              http_proxy="http://"
    1.15              case  "${CT_PROXY_USER}:${CT_PROXY_PASS}" in