mercurial/hg.py
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")