From 4b948a18e794b3a86f019ab069beae94186e30c4 Mon Sep 17 00:00:00 2001 From: Jesse Hallett Date: Fri, 3 Jan 2014 16:05:56 -0800 Subject: Backslashes in replaceAll() replacements need extra escaping. See http://docs.oracle.com/javase/6/docs/api/java/util/regex/Matcher.html#replaceAll(java.lang.String) --- .../headless/src/main/java/com/galois/fiveui/CrawlParameters.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 compileMatchFcn(String glob) { - String reg = glob.replaceAll("\\.", "\\.").replaceAll("\\*", ".*"); + String reg = glob.replaceAll("\\.", "\\\\.").replaceAll("\\*", ".*"); final Pattern pat = Pattern.compile(reg); return new Function() { public Boolean apply(String input) { -- cgit v1.2.3