| changeset 785 | 46a8dd3145cc |
| parent 582 | df8a5a0098d4 |
| child 793 | 445970ccf57a |
| child 808 | 8f5637f0a0c0 |
| child 814 | 0902ffece4b4 |
| 784:853bfbf1a312 | 785:46a8dd3145cc |
|---|---|
48 |
48 |
49 def close(self): |
49 def close(self): |
50 self.file.close() |
50 self.file.close() |
51 self.entries = [] |
51 self.entries = [] |
52 if self.after: |
52 if self.after: |
53 util.rename(self.journal, self.after) |
53 self.after() |
54 else: |
54 else: |
55 os.unlink(self.journal) |
55 os.unlink(self.journal) |
56 self.journal = None |
56 self.journal = None |
57 |
57 |
58 def abort(self): |
58 def abort(self): |