diff options
| author |  Jesse Hallett <jesse@galois.com> | 2014-01-03 16:05:56 -0800 |
|---|---|---|
| committer | Jesse Hallett <jesse@galois.com> | 2014-01-03 16:05:56 -0800 |
| commit | 4b948a18e794b3a86f019ab069beae94186e30c4 (patch) | |
| tree | 9d68073ddc51800628a5d324201b9eefb6d79e89 | |
| parent | eee8ee81c683169914ed9dd8f6c514eab7811214 (diff) | |
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)
| -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) { |