##// END OF EJS Templates
patch: fix normalized paths separators.
Patrick Mezard -
r4922:020ee9c7 default
parent child Browse files
Show More
@@ -777,13 +777,13 b' def selectfile(afile_orig, bfile_orig, h'
777 if count == 0:
777 if count == 0:
778 return path.rstrip()
778 return path.rstrip()
779 while count > 0:
779 while count > 0:
780 i = path.find(os.sep, i)
780 i = path.find('/', i)
781 if i == -1:
781 if i == -1:
782 raise PatchError(_("unable to strip away %d dirs from %s") %
782 raise PatchError(_("unable to strip away %d dirs from %s") %
783 (count, path))
783 (count, path))
784 i += 1
784 i += 1
785 # consume '//' in the path
785 # consume '//' in the path
786 while i < pathlen - 1 and path[i] == os.sep:
786 while i < pathlen - 1 and path[i] == '/':
787 i += 1
787 i += 1
788 count -= 1
788 count -= 1
789 return path[i:].rstrip()
789 return path[i:].rstrip()
General Comments 0
You need to be logged in to leave comments. Login now