diff options
-rw-r--r-- | src/batchtools/headless/src/main/java/com/galois/fiveui/CrawlParameters.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/batchtools/headless/src/main/java/com/galois/fiveui/CrawlParameters.java b/src/batchtools/headless/src/main/java/com/galois/fiveui/CrawlParameters.java index a07d43a..aa3cc34 100644 --- a/src/batchtools/headless/src/main/java/com/galois/fiveui/CrawlParameters.java +++ b/src/batchtools/headless/src/main/java/com/galois/fiveui/CrawlParameters.java @@ -60,7 +60,7 @@ public class CrawlParameters { } public static Function<String, Boolean> compileMatchFcn(String glob) { - String reg = glob.replaceAll("\\.", "\\.").replaceAll("\\*", ".*"); + String reg = glob.replaceAll("\\.", "\\\\.").replaceAll("\\*", ".*"); final Pattern pat = Pattern.compile(reg); return new Function<String, Boolean>() { public Boolean apply(String input) { |