val defaultMinimum = 3600
val nodeIps = [("deleuze", "69.90.123.67"), ("hopper", "69.90.123.74"), ("fritz", "69.90.123.75"), ("navajos", "69.90.123.70"), ("bog", "69.90.123.72"), ("outpost", "151.236.216.192")]
-val defaultNode = "fritz"
+val dispatcherName = "fritz"
val dnsNodes_all = ["deleuze", "outpost"]
val dnsNodes_admin = []
val defaultDomain = "hcoop.net"
-val dispatcher = defaultNode ^ "." ^ defaultDomain
val dispatcherPort = 1234
val slavePort = 1235
val queueSize = 5
val keyDir = ConfigCore.sharedRoot ^ "/keys"
val caDir = "/etc/domtool/ca"
-val dispatcherName = defaultNode
-
fun domtoolDir user =
case user of
"domtool" => ConfigCore.sharedRoot ^ "/.domtool"