##// END OF EJS Templates
Hack to fix missing '/' problem in URLs
mpm@selenic.com -
r765:1e31d97c default
parent child Browse files
Show More
@@ -10,7 +10,7 b' import util'
10 from revlog import *
10 from revlog import *
11 from demandload import *
11 from demandload import *
12 demandload(globals(), "re lock urllib urllib2 transaction time socket")
12 demandload(globals(), "re lock urllib urllib2 transaction time socket")
13 demandload(globals(), "tempfile httprangereader bdiff")
13 demandload(globals(), "tempfile httprangereader bdiff urlparse")
14 demandload(globals(), "bisect select")
14 demandload(globals(), "bisect select")
15
15
16 class filelog(revlog):
16 class filelog(revlog):
@@ -1692,7 +1692,11 b' class localrepository:'
1692
1692
1693 class httprepository:
1693 class httprepository:
1694 def __init__(self, ui, path):
1694 def __init__(self, ui, path):
1695 self.url = path
1695 # fix missing / after hostname
1696 s = urlparse.urlsplit(path)
1697 partial = s[2]
1698 if not partial: partial = "/"
1699 self.url = urlparse.urlunsplit((s[0], s[1], partial, '', ''))
1696 self.ui = ui
1700 self.ui = ui
1697 no_list = [ "localhost", "127.0.0.1" ]
1701 no_list = [ "localhost", "127.0.0.1" ]
1698 host = ui.config("http_proxy", "host")
1702 host = ui.config("http_proxy", "host")
General Comments 0
You need to be logged in to leave comments. Login now