##// END OF EJS Templates
Allow hgrc's proxy host and $http_proxy env var to start with http://...
Thomas Arendsen Hein -
r426:8c90ab56 default
parent child Browse files
Show More
@@ -1333,6 +1333,8 b' class remoterepository:'
1333 host = ui.config("http_proxy", "host")
1333 host = ui.config("http_proxy", "host")
1334 if host is None:
1334 if host is None:
1335 host = os.environ.get("http_proxy")
1335 host = os.environ.get("http_proxy")
1336 if host and host.startswith('http://'):
1337 host = host[7:]
1336 user = ui.config("http_proxy", "user")
1338 user = ui.config("http_proxy", "user")
1337 passwd = ui.config("http_proxy", "passwd")
1339 passwd = ui.config("http_proxy", "passwd")
1338 no = ui.config("http_proxy", "no")
1340 no = ui.config("http_proxy", "no")
General Comments 0
You need to be logged in to leave comments. Login now