equal
deleted
inserted
replaced
1730 |
1730 |
1731 if fp: |
1731 if fp: |
1732 fp.flush() |
1732 fp.flush() |
1733 fp.close() |
1733 fp.close() |
1734 |
1734 |
1735 with self._datafp('w') as df: |
1735 with self._indexfp('r') as ifh, self._datafp('w') as dfh: |
1736 for r in self: |
1736 for r in self: |
1737 df.write(self._getsegmentforrevs(r, r)[1]) |
1737 dfh.write(self._getsegmentforrevs(r, r, df=ifh)[1]) |
1738 |
1738 |
1739 with self._indexfp('w') as fp: |
1739 with self._indexfp('w') as fp: |
1740 self.version &= ~FLAG_INLINE_DATA |
1740 self.version &= ~FLAG_INLINE_DATA |
1741 self._inline = False |
1741 self._inline = False |
1742 io = self._io |
1742 io = self._io |