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 val nodeIps : (string * string) list
18 val dispatcherName : string
21 (* Place to serialize ACL information *)
25 val defaultDomain : string
27 val dispatcherPort : int
33 val trustStore : string
39 val dnsNodes_all : string list
40 val dnsNodes_admin : string list
42 val mailNodes_all : string list
43 val mailNodes_admin : string list
45 val domtoolDir : string -> string
47 val worldReadable : string list
49 val publish_reusers : string