2 (* Basis library root directory *)
4 val resultRoot : string
5 (* Root directory for a directory hierarchy corresponding to domain structure,
6 * where each node contains Domtool-generated result files for that domain. *)
8 val oldResultRoot : string
9 (* Save an old copy for differencing *)
12 (* Filesystem location for creating temporary directories *)
14 val domtool_publish : string
16 (* Names of machines who will receive configuration *)
17 (* This should be a record type instead of a list *)
18 val nodeIps : (string * string * string) list
19 val dispatcherName : string
22 (* Place to serialize ACL information *)
26 val defaultDomain : string
28 val dispatcherPort : int
34 val trustStore : string
40 val dnsNodes_all : string list
41 val dnsNodes_admin : string list
43 val mailNodes_all : string list
44 val mailNodes_admin : string list
46 val domtoolDir : string -> string
48 val worldReadable : string list
50 val publish_reusers : string