Fix handling files with uppercase letters in case-sensitive systems
This commit is contained in:
1 parent
bb12e3ddd1
commit
fce4918c87
1 file changed
+1
-1
@@ -139,7 +139,7 @@ public class FileArgument
|
|||||||
|
|
||||||
public static Pair<String,String> recognizeResource(String origfile, boolean isFolder, Type type)
|
public static Pair<String,String> recognizeResource(String origfile, boolean isFolder, Type type)
|
||||||
{
|
{
|
||||||
String[] pathElements = origfile.toLowerCase(Locale.ROOT).split("[/\\\\]+");
|
String[] pathElements = origfile.split("[/\\\\]+");
|
||||||
List<String> path = new ArrayList<>();
|
List<String> path = new ArrayList<>();
|
||||||
String zipPath = null;
|
String zipPath = null;
|
||||||
for (int i =0; i < pathElements.length; i++ )
|
for (int i =0; i < pathElements.length; i++ )
|
||||||
|
|||||||
Reference in new issue
Block a user