diff options
| author | Greg Wilkins | 2012-11-02 02:13:21 +0000 |
|---|---|---|
| committer | Greg Wilkins | 2012-11-02 02:16:53 +0000 |
| commit | 13f6940fc3d19ef11ac2b5307fb5282f0d0d901e (patch) | |
| tree | 14a5395c76166814e68a868915dea04d1a4ed233 | |
| parent | b6cca669145aa0c2eddd78b8d300125a934439c4 (diff) | |
| download | org.eclipse.jetty.project-13f6940fc3d19ef11ac2b5307fb5282f0d0d901e.tar.gz org.eclipse.jetty.project-13f6940fc3d19ef11ac2b5307fb5282f0d0d901e.tar.xz org.eclipse.jetty.project-13f6940fc3d19ef11ac2b5307fb5282f0d0d901e.zip | |
393363 Use Locale.ENGLISH for all toUpperCase and toLowerCase calls
| -rw-r--r-- | jetty-start/src/main/java/org/eclipse/jetty/start/Main.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jetty-start/src/main/java/org/eclipse/jetty/start/Main.java b/jetty-start/src/main/java/org/eclipse/jetty/start/Main.java index 7530f01342..3aa0483d23 100644 --- a/jetty-start/src/main/java/org/eclipse/jetty/start/Main.java +++ b/jetty-start/src/main/java/org/eclipse/jetty/start/Main.java @@ -386,7 +386,7 @@ public class Main return false; } - String name = path.getName().toLowerCase(); + String name = path.getName().toLowerCase(Locale.ENGLISH); return (name.startsWith("jetty") && name.endsWith(".xml")); } }); |