equal
deleted
inserted
replaced
116 "finalize index updates" |
116 "finalize index updates" |
117 self._delayed = False |
117 self._delayed = False |
118 self.opener = self._realopener |
118 self.opener = self._realopener |
119 # move redirected index data back into place |
119 # move redirected index data back into place |
120 if self._divert: |
120 if self._divert: |
121 n = self.opener(self.indexfile + ".a").name |
121 nfile = self.opener(self.indexfile + ".a") |
|
122 n = nfile.name |
|
123 nfile.close() |
122 util.rename(n, n[:-2]) |
124 util.rename(n, n[:-2]) |
123 elif self._delaybuf: |
125 elif self._delaybuf: |
124 fp = self.opener(self.indexfile, 'a') |
126 fp = self.opener(self.indexfile, 'a') |
125 fp.write("".join(self._delaybuf)) |
127 fp.write("".join(self._delaybuf)) |
126 fp.close() |
128 fp.close() |