equal
deleted
inserted
replaced
9 from revlog import * |
9 from revlog import * |
10 from demandload import * |
10 from demandload import * |
11 demandload(globals(), "bdiff") |
11 demandload(globals(), "bdiff") |
12 |
12 |
13 class filelog(revlog): |
13 class filelog(revlog): |
14 def __init__(self, opener, path, local=True): |
14 def __init__(self, opener, path): |
15 revlog.__init__(self, opener, |
15 revlog.__init__(self, opener, |
16 os.path.join("data", self.encodedir(path + ".i")), |
16 os.path.join("data", self.encodedir(path + ".i")), |
17 os.path.join("data", self.encodedir(path + ".d")), |
17 os.path.join("data", self.encodedir(path + ".d"))) |
18 local=local) |
|
19 |
18 |
20 # This avoids a collision between a file named foo and a dir named |
19 # This avoids a collision between a file named foo and a dir named |
21 # foo.i or foo.d |
20 # foo.i or foo.d |
22 def encodedir(self, path): |
21 def encodedir(self, path): |
23 return (path |
22 return (path |