X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/8e965b2da49aab1faef95b25471513498ceca895..1824f573f7f8720514af1dc94d7cfb1de5b15fef:/configDefault/domtool.cfg

diff --git a/configDefault/domtool.cfg b/configDefault/domtool.cfg
index 6d1c7e1..e1d427a 100644
--- a/configDefault/domtool.cfg
+++ b/configDefault/domtool.cfg
@@ -51,3 +51,8 @@ val serialDir = "/afs/hcoop.net/common/etc/domtool/serials"
 val dispatcherName = "deleuze.hcoop.net"
 
 val homeBase = "/afs/hcoop.net/usr"
+
+fun domtoolDir user =
+    case user of
+	"domtool" => "/afs/hcoop.net/common/etc/domtool/domtool"
+      | _ => "/afs/hcoop.net/usr/" ^ user ^ "/domtool"