equal
deleted
inserted
replaced
1087 if l is not None and l.held: |
1087 if l is not None and l.held: |
1088 l.lock() |
1088 l.lock() |
1089 return l |
1089 return l |
1090 |
1090 |
1091 def unlock(): |
1091 def unlock(): |
1092 if hasunfilteredcache(self, '_phasecache'): |
|
1093 self._phasecache.write() |
|
1094 for k, ce in self._filecache.items(): |
1092 for k, ce in self._filecache.items(): |
1095 if k == 'dirstate' or k not in self.__dict__: |
1093 if k == 'dirstate' or k not in self.__dict__: |
1096 continue |
1094 continue |
1097 ce.refresh() |
1095 ce.refresh() |
1098 |
1096 |