equal
deleted
inserted
replaced
10 demandload(globals(), "os") |
10 demandload(globals(), "os") |
11 |
11 |
12 class filelog(revlog): |
12 class filelog(revlog): |
13 def __init__(self, opener, path, defversion=REVLOG_DEFAULT_VERSION): |
13 def __init__(self, opener, path, defversion=REVLOG_DEFAULT_VERSION): |
14 revlog.__init__(self, opener, |
14 revlog.__init__(self, opener, |
15 os.path.join("data", self.encodedir(path + ".i")), |
15 "/".join(("data", self.encodedir(path + ".i"))), |
16 os.path.join("data", self.encodedir(path + ".d")), |
16 "/".join(("data", self.encodedir(path + ".d"))), |
17 defversion) |
17 defversion) |
18 |
18 |
19 # 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 |
20 # foo.i or foo.d |
20 # foo.i or foo.d |
21 def encodedir(self, path): |
21 def encodedir(self, path): |