Merge pull request #15881 from knutwannheden/15878-fix

Quote File.separator when using it as a regular expression
quarkusio · Mar 19, 2021 · 15d6212 · 15d6212
2 parents 0486ec9 + 08181cf
commit 15d6212
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/...t/src/main/java/io/quarkus/vertx/http/deployment/devmode/console/DevConsoleProcessor.java b/...t/src/main/java/io/quarkus/vertx/http/deployment/devmode/console/DevConsoleProcessor.java
@@ -804,7 +804,7 @@ private String commonPath(List<String> paths) {
             String commonPath = "";
             List<String[]> dirs = new ArrayList<>(paths.size());
             for (int i = 0; i < paths.size(); i++) {
-                dirs.add(i, paths.get(i).split(File.separator));
+                dirs.add(i, paths.get(i).split(Pattern.quote(File.separator)));
             }
             for (int j = 0; j < dirs.get(0).length; j++) {
                 String thisDir = dirs.get(0)[j]; // grab the next directory name in the first path