equal
deleted
inserted
replaced
4 # |
4 # |
5 # This software may be used and distributed according to the terms |
5 # This software may be used and distributed according to the terms |
6 # of the GNU General Public License, incorporated herein by reference. |
6 # of the GNU General Public License, incorporated herein by reference. |
7 |
7 |
8 from revlog import * |
8 from revlog import * |
9 from demandload import * |
9 import os |
10 demandload(globals(), "os") |
|
11 |
10 |
12 class filelog(revlog): |
11 class filelog(revlog): |
13 def __init__(self, opener, path, defversion=REVLOG_DEFAULT_VERSION): |
12 def __init__(self, opener, path, defversion=REVLOG_DEFAULT_VERSION): |
14 revlog.__init__(self, opener, |
13 revlog.__init__(self, opener, |
15 "/".join(("data", self.encodedir(path + ".i"))), |
14 "/".join(("data", self.encodedir(path + ".i"))), |