equal
deleted
inserted
replaced
165 ph = self.__class__(None, None, _load=False) |
165 ph = self.__class__(None, None, _load=False) |
166 ph.phaseroots = self.phaseroots[:] |
166 ph.phaseroots = self.phaseroots[:] |
167 ph.dirty = self.dirty |
167 ph.dirty = self.dirty |
168 ph.opener = self.opener |
168 ph.opener = self.opener |
169 ph._phaserevs = self._phaserevs |
169 ph._phaserevs = self._phaserevs |
|
170 ph._phasesets = self._phasesets |
170 return ph |
171 return ph |
171 |
172 |
172 def replace(self, phcache): |
173 def replace(self, phcache): |
173 for a in 'phaseroots dirty opener _phaserevs'.split(): |
174 for a in 'phaseroots dirty opener _phaserevs'.split(): |
174 setattr(self, a, getattr(phcache, a)) |
175 setattr(self, a, getattr(phcache, a)) |