equal
deleted
inserted
replaced
29 self.journal = journal |
29 self.journal = journal |
30 |
30 |
31 self.file = open(self.journal, "w") |
31 self.file = open(self.journal, "w") |
32 |
32 |
33 def __del__(self): |
33 def __del__(self): |
34 if self.entries: self.abort() |
34 if self.journal: |
35 try: os.unlink(self.journal) |
35 if self.entries: self.abort() |
36 except: pass |
36 self.file.close() |
|
37 try: os.unlink(self.journal) |
|
38 except: pass |
37 |
39 |
38 def add(self, file, offset): |
40 def add(self, file, offset): |
39 if file in self.map: return |
41 if file in self.map: return |
40 self.entries.append((file, offset)) |
42 self.entries.append((file, offset)) |
41 self.map[file] = 1 |
43 self.map[file] = 1 |