equal
deleted
inserted
replaced
10 # |
10 # |
11 # This software may be used and distributed according to the terms |
11 # This software may be used and distributed according to the terms |
12 # of the GNU General Public License, incorporated herein by reference. |
12 # of the GNU General Public License, incorporated herein by reference. |
13 |
13 |
14 import os |
14 import os |
|
15 import util |
15 |
16 |
16 class transaction: |
17 class transaction: |
17 def __init__(self, opener, journal, after = None): |
18 def __init__(self, opener, journal, after = None): |
18 self.journal = None |
19 self.journal = None |
19 |
20 |
44 |
45 |
45 def close(self): |
46 def close(self): |
46 self.file.close() |
47 self.file.close() |
47 self.entries = [] |
48 self.entries = [] |
48 if self.after: |
49 if self.after: |
49 os.rename(self.journal, self.after) |
50 util.rename(self.journal, self.after) |
50 else: |
51 else: |
51 os.unlink(self.journal) |
52 os.unlink(self.journal) |
52 |
53 |
53 def abort(self): |
54 def abort(self): |
54 if not self.entries: return |
55 if not self.entries: return |