equal
deleted
inserted
replaced
635 if self.docket.uuid: |
635 if self.docket.uuid: |
636 # TODO: use mmap when possible |
636 # TODO: use mmap when possible |
637 data = self._opener.read(self.docket.data_filename()) |
637 data = self._opener.read(self.docket.data_filename()) |
638 else: |
638 else: |
639 data = b'' |
639 data = b'' |
640 self._rustmap = rustmod.DirstateMap.new_v2(data) |
640 self._rustmap = rustmod.DirstateMap.new_v2( |
|
641 data, self.docket.data_size |
|
642 ) |
641 parents = self.docket.parents |
643 parents = self.docket.parents |
642 else: |
644 else: |
643 self._rustmap, parents = rustmod.DirstateMap.new_v1( |
645 self._rustmap, parents = rustmod.DirstateMap.new_v1( |
644 self._use_dirstate_tree, self._readdirstatefile() |
646 self._use_dirstate_tree, self._readdirstatefile() |
645 ) |
647 ) |