equal
deleted
inserted
replaced
1857 |
1857 |
1858 if fp: |
1858 if fp: |
1859 fp.flush() |
1859 fp.flush() |
1860 fp.close() |
1860 fp.close() |
1861 |
1861 |
1862 df = self._datafp('w') |
1862 with self._datafp('w') as df: |
1863 try: |
|
1864 for r in self: |
1863 for r in self: |
1865 df.write(self._getsegmentforrevs(r, r)[1]) |
1864 df.write(self._getsegmentforrevs(r, r)[1]) |
1866 finally: |
|
1867 df.close() |
|
1868 |
1865 |
1869 fp = self._indexfp('w') |
1866 fp = self._indexfp('w') |
1870 self.version &= ~FLAG_INLINE_DATA |
1867 self.version &= ~FLAG_INLINE_DATA |
1871 self._inline = False |
1868 self._inline = False |
1872 for i in self: |
1869 for i in self: |