equal
deleted
inserted
replaced
1414 # |
1414 # |
1415 # then 2) will fail because the phasecache contains nodes that were |
1415 # then 2) will fail because the phasecache contains nodes that were |
1416 # removed. We can either remove phasecache from the filecache, |
1416 # removed. We can either remove phasecache from the filecache, |
1417 # causing it to reload next time it is accessed, or simply filter |
1417 # causing it to reload next time it is accessed, or simply filter |
1418 # the removed nodes now and write the updated cache. |
1418 # the removed nodes now and write the updated cache. |
1419 if '_phasecache' in self._filecache: |
1419 self._phasecache.filterunknown(self) |
1420 self._phasecache.filterunknown(self) |
1420 self._phasecache.write() |
1421 self._phasecache.write() |
|
1422 |
1421 |
1423 # update the 'served' branch cache to help read only server process |
1422 # update the 'served' branch cache to help read only server process |
1424 # Thanks to branchcach collaboration this is done from the nearest |
1423 # Thanks to branchcach collaboration this is done from the nearest |
1425 # filtered subset and it is expected to be fast. |
1424 # filtered subset and it is expected to be fast. |
1426 branchmap.updatecache(self.filtered('served')) |
1425 branchmap.updatecache(self.filtered('served')) |