equal
deleted
inserted
replaced
75 raise IOError('Permission denied') |
75 raise IOError('Permission denied') |
76 f = "/".join((p, urllib.quote(path))) |
76 f = "/".join((p, urllib.quote(path))) |
77 return httprangereader(f, urlopener) |
77 return httprangereader(f, urlopener) |
78 return o |
78 return o |
79 |
79 |
80 opener.options = {'nonlazy': 1} |
|
81 return opener |
80 return opener |
82 |
81 |
83 class statichttprepository(localrepo.localrepository): |
82 class statichttprepository(localrepo.localrepository): |
84 def __init__(self, ui, path): |
83 def __init__(self, ui, path): |
85 self._url = path |
84 self._url = path |