equal
deleted
inserted
replaced
2819 if self._docket_file is None: |
2819 if self._docket_file is None: |
2820 if not self._inline: |
2820 if not self._inline: |
2821 res.append(self._datafile) |
2821 res.append(self._datafile) |
2822 else: |
2822 else: |
2823 res.append(self._docket_file) |
2823 res.append(self._docket_file) |
|
2824 res.extend(self._docket.old_index_filepaths(include_empty=False)) |
2824 if self._docket.data_end: |
2825 if self._docket.data_end: |
2825 res.append(self._datafile) |
2826 res.append(self._datafile) |
|
2827 res.extend(self._docket.old_data_filepaths(include_empty=False)) |
2826 if self._docket.sidedata_end: |
2828 if self._docket.sidedata_end: |
2827 res.append(self._sidedatafile) |
2829 res.append(self._sidedatafile) |
|
2830 res.extend(self._docket.old_sidedata_filepaths(include_empty=False)) |
2828 return res |
2831 return res |
2829 |
2832 |
2830 def emitrevisions( |
2833 def emitrevisions( |
2831 self, |
2834 self, |
2832 nodes, |
2835 nodes, |