val libRoot : string (* Basis library root directory *) val resultRoot : string (* Root directory for a directory hierarchy corresponding to domain structure, * where each node contains Domtool-generated result files for that domain. *) val oldResultRoot : string (* Save an old copy for differencing *) val tmpDir : string (* Filesystem location for creating temporary directories *) val domtool_publish : string (* Names of machines who will receive configuration *) val nodeIps : (string * string) list val dispatcherName : string val aclFile : string (* Place to serialize ACL information *) val testUser : string val defaultDomain : string val dispatcherPort : int val slavePort : int val queueSize : int val bufSize : int val trustStore : string val certDir : string val keyDir : string val caDir : string val dnsNodes_all : string list val dnsNodes_admin : string list val mailNodes_all : string list val mailNodes_admin : string list val domtoolDir : string -> string val worldReadable : string list val publish_reusers : string include CONFIG_CORE