diff -r 7f4279913498 -r 153450c9a9ab scripts/functions
--- a/scripts/functions	Sat Aug 09 17:40:44 2008 +0000
+++ b/scripts/functions	Sat Aug 09 17:45:55 2008 +0000
@@ -290,9 +290,10 @@
 
 # Set environment for proxy access
 # Usage: CT_DoSetProxy <proxy_type>
-# where proxy_type is one of 'none', 'http', 'sockssys', 'socks4' or 'socks5'
+# where proxy_type is one of 'http', 'sockssys', 'socks4' or 'socks5',
+# or empty (to not change proxy settings).
 CT_DoSetProxy() {
-    case "${CT_PROXY_TYPE}" in
+    case "${1}" in
         http)
             http_proxy="http://"
             case  "${CT_PROXY_USER}:${CT_PROXY_PASS}" in