equal
deleted
inserted
replaced
507 self._filefoldmap) |
507 self._filefoldmap) |
508 return folded |
508 return folded |
509 |
509 |
510 def _normalize(self, path, isknown, ignoremissing=False, exists=None): |
510 def _normalize(self, path, isknown, ignoremissing=False, exists=None): |
511 normed = util.normcase(path) |
511 normed = util.normcase(path) |
512 folded = self._filefoldmap.get(normed, |
512 folded = self._filefoldmap.get(normed, None) |
513 self._dirfoldmap.get(normed, None)) |
513 if folded is None: |
|
514 folded = self._dirfoldmap.get(normed, None) |
514 if folded is None: |
515 if folded is None: |
515 if isknown: |
516 if isknown: |
516 folded = path |
517 folded = path |
517 else: |
518 else: |
518 # store discovered result in dirfoldmap so that future |
519 # store discovered result in dirfoldmap so that future |