changeset 426 | 8c90ab5644c9 |
parent 424 | 9294dce4b633 |
child 429 | 688d03d6997a |
--- a/mercurial/hg.py Sun Jun 19 14:21:38 2005 +0100 +++ b/mercurial/hg.py Sun Jun 19 20:16:10 2005 +0100 @@ -1333,6 +1333,8 @@ host = ui.config("http_proxy", "host") if host is None: host = os.environ.get("http_proxy") + if host and host.startswith('http://'): + host = host[7:] user = ui.config("http_proxy", "user") passwd = ui.config("http_proxy", "passwd") no = ui.config("http_proxy", "no")