equal
deleted
inserted
replaced
74 |
74 |
75 @propertycache |
75 @propertycache |
76 def _copymap(self): |
76 def _copymap(self): |
77 self._read() |
77 self._read() |
78 return self._copymap |
78 return self._copymap |
79 |
|
80 @propertycache |
|
81 def _normroot(self): |
|
82 return util.normcase(self._root) |
|
83 |
79 |
84 @propertycache |
80 @propertycache |
85 def _foldmap(self): |
81 def _foldmap(self): |
86 f = {} |
82 f = {} |
87 for name in self._map: |
83 for name in self._map: |
404 if folded is None: |
400 if folded is None: |
405 if isknown or not os.path.lexists(os.path.join(self._root, path)): |
401 if isknown or not os.path.lexists(os.path.join(self._root, path)): |
406 folded = path |
402 folded = path |
407 else: |
403 else: |
408 folded = self._foldmap.setdefault(normed, |
404 folded = self._foldmap.setdefault(normed, |
409 util.fspath(normed, self._normroot)) |
405 util.fspath(normed, self._root)) |
410 return folded |
406 return folded |
411 |
407 |
412 def normalize(self, path, isknown=False): |
408 def normalize(self, path, isknown=False): |
413 ''' |
409 ''' |
414 normalize the case of a pathname when on a casefolding filesystem |
410 normalize the case of a pathname when on a casefolding filesystem |