diff options
| -rw-r--r-- | doc/manual_src/headlessFiveUI.md | 1 | ||||
| -rw-r--r-- | src/batchtools/headless/src/main/java/com/galois/fiveui/HeadlessRunDescription.java | 4 |
2 files changed, 5 insertions, 0 deletions
diff --git a/doc/manual_src/headlessFiveUI.md b/doc/manual_src/headlessFiveUI.md index 461f041..c984a17 100644 --- a/doc/manual_src/headlessFiveUI.md +++ b/doc/manual_src/headlessFiveUI.md @@ -158,6 +158,7 @@ The format of a run configuration is as follows: */ { 'rulePath' : '<path>', // path = the path where rule set files referenced below live. + // rulePath is relative to the run description file. 'crawlType' : '<d> <n> <p> <pat>', // d = crawl depth, n = max number of pages to retrieve. // p = politeness delay (ms), pat = URL glob pattern // (crawlType can also be 'none'). diff --git a/src/batchtools/headless/src/main/java/com/galois/fiveui/HeadlessRunDescription.java b/src/batchtools/headless/src/main/java/com/galois/fiveui/HeadlessRunDescription.java index 92f2ef1..c9b70de 100644 --- a/src/batchtools/headless/src/main/java/com/galois/fiveui/HeadlessRunDescription.java +++ b/src/batchtools/headless/src/main/java/com/galois/fiveui/HeadlessRunDescription.java @@ -110,6 +110,10 @@ public class HeadlessRunDescription { if (json.isJsonObject()) { // check if the description is an extended one JsonObject obj = json.getAsJsonObject(); ruleSetDir = objGetString(obj, "rulePath"); + String runDescDir = new File(_fn).getParent(); + if (null != runDescDir) { + ruleSetDir = runDescDir + File.separator + ruleSetDir; + } _crawlType = objGetString(obj, "crawlType"); arr = obj.get("runs").getAsJsonArray(); } else if (json.isJsonArray()) { |