+
+val dispatcher = "deleuze.hcoop.net"
+val dispatcherPort = 1234
+val slavePort = 1235
+val queueSize = 5
+
+val bufSize = 1024
+
+val trustStore = "/afs/hcoop.net/common/etc/domtool/TrustStore.pem"
+
+val certDir = "/afs/hcoop.net/common/etc/domtool/certs"
+val keyDir = "/afs/hcoop.net/common/etc/domtool/keys"
+val serialDir = "/afs/hcoop.net/common/etc/domtool/serials"
+
+val dispatcherName = "deleuze"
+
+fun domtoolDir user =
+ case user of
+ "domtool" => "/afs/hcoop.net/common/etc/domtool/.domtool"
+ | _ => OS.Path.joinDirFile {dir = Posix.SysDB.Passwd.home (Posix.SysDB.getpwnam user),
+ file = ".domtool"}
+
+val worldReadable = ["/usr/share/moin", "/usr/share/apache/icons"]
+
+val publish_reusers = "/usr/bin/sudo " ^ domtool_publish ^ " users"