##// END OF EJS Templates
util: use set for reserved Windows filenames...
Gregory Szorc -
r34054:ca6a3852 default
parent child Browse files
Show More
@@ -1230,9 +1230,11 b' def copyfiles(src, dst, hardlink=None, p'
1230
1230
1231 return hardlink, num
1231 return hardlink, num
1232
1232
1233 _winreservednames = b'''con prn aux nul
1233 _winreservednames = {
1234 com1 com2 com3 com4 com5 com6 com7 com8 com9
1234 'con', 'prn', 'aux', 'nul',
1235 lpt1 lpt2 lpt3 lpt4 lpt5 lpt6 lpt7 lpt8 lpt9'''.split()
1235 'com1', 'com2', 'com3', 'com4', 'com5', 'com6', 'com7', 'com8', 'com9',
1236 'lpt1', 'lpt2', 'lpt3', 'lpt4', 'lpt5', 'lpt6', 'lpt7', 'lpt8', 'lpt9',
1237 }
1236 _winreservedchars = ':*?"<>|'
1238 _winreservedchars = ':*?"<>|'
1237 def checkwinfilename(path):
1239 def checkwinfilename(path):
1238 r'''Check that the base-relative path is a valid filename on Windows.
1240 r'''Check that the base-relative path is a valid filename on Windows.
General Comments 0
You need to be logged in to leave comments. Login now