set proxy environ in set_proxies()

diff --git a/mic/utils/proxy.py b/mic/utils/proxy.py
index c6681798cba131cea1b1a201d1fc952f8e0bed18..6219236f63ac7a56c75a3daf7430036f8d969563 100644 (file)
--- a/mic/utils/proxy.py
+++ b/mic/utils/proxy.py
@@ -162,6 +162,7 @@ def _isnoproxy(url):
 def set_proxies(proxy = None, no_proxy = None):
     _set_proxies(proxy, no_proxy)
     _set_noproxy_list()
+    set_proxy_environ()
 
 def get_proxy_for(url):
     if url[0:4] == "file" or _isnoproxy(url):