minecraft/Essentials
1
0
Fork 0
mirror of https://github.com/essentials/Essentials.git synced 2025-09-03 03:32:42 +02:00
Code Issues Releases Wiki Activity

Merge pull request #164 from chrisgward/patch-1

Browse Source 
Fixing bad file names in Windows (Fixes #2924)
This commit is contained in:
Iaccidentally
2012-10-01 07:16:22 -07:00
parent d7829bef28 02d273f15e
commit a7e692fe37
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
Essentials/src/com/earth2me/essentials/Util.java
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;
} }