Working on automatic rmdom for bad domains during regen

[hcoop/domtool2.git] / configDefault / domtool.cfg

diff --git a/configDefault/domtool.cfg b/configDefault/domtool.cfg
index 2ecfa35..9fe0db8 100644 (file)
--- a/configDefault/domtool.cfg
+++ b/configDefault/domtool.cfg
@@ -1,6 +1,7 @@
 val libRoot = "/afs/hcoop.net/common/etc/domtool/lib"
 val resultRoot = "/afs/hcoop.net/common/etc/domtool/nodes"
 val tmpDir = "/tmp/domtool"
+val oldResultRoot = "/afs/hcoop.net/common/etc/domtool/nodes.old"
 
 val cat = "/bin/cat"
 val cp = "/bin/cp"