(path)
| 15 | |
| 16 | #----------- Convert case-insensitive path to case-sensitive path ----------- |
| 17 | def casedpath_unc(path): |
| 18 | unc, p = os.path.splitdrive(path) |
| 19 | r = glob.glob(unc + re.sub(r'([^:/\\])(?=[/\\]|$)', r'[\1]', p)) |
| 20 | return r and r[0] or path |
| 21 | |
| 22 | #---------------------------------------------------------------------- |
| 23 | def modifyXML(infile, sourcepath, outfile): |