Fixing bad file names in Windows (Fixes #2924)

This commit is contained in:
Chris Ward 2012-10-01 21:20:17 +10:00
parent d436d10b00
commit 02d273f15e

View File

@ -26,7 +26,9 @@ public class Util
public static String sanitizeFileName(final String name) public static String sanitizeFileName(final String name)
{ {
final String newName = INVALIDFILECHARS.matcher(name.toLowerCase(Locale.ENGLISH)).replaceAll("_"); String newName = INVALIDFILECHARS.matcher(name.toLowerCase(Locale.ENGLISH)).replaceAll("_");
if(Pattern.compile("^(CON|PRN|AUX|NUL|COM[1-9]|LPT[1-9])(\\.(.+))?$", Pattern.CASE_INSENSITIVE | Pattern.UNICODE_CASE | Pattern.COMMENTS).matcher(newName).matches())
newName = "_" + newName;
return newName; return newName;
} }