+
+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 serverCert = "/afs/hcoop.net/common/etc/domtool/servercert.pem"
+val serverKey = "/etc/domtool/serverkey.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.hcoop.net"
+
+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"}