diff options
author | Rogan Creswick <creswick@gmail.com> | 2013-06-16 13:41:59 -0700 |
---|---|---|
committer | Rogan Creswick <creswick@gmail.com> | 2013-06-16 13:41:59 -0700 |
commit | b5604498ce494199268290433960858266e67b10 (patch) | |
tree | 28ac089279dfb5dfb568fec76ba8fbc7ccc29091 /src/batchtools | |
parent | f46c545a6f580a0fe6fa4389698008ba012adebe (diff) |
made the ruleSet path in run descriptions resolve relative to the json file specifying the run description params
Diffstat (limited to 'src/batchtools')
-rw-r--r-- | src/batchtools/headless/src/main/java/com/galois/fiveui/HeadlessRunDescription.java | 4 |
1 files changed, 4 insertions, 0 deletions
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()) { |