merge toplevel-dynamic-environment
[hcoop/domtool2.git] / configDefault / domtool.cfs
1 val libRoot : string
2 (* Basis library root directory *)
3
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. *)
7
8 val oldResultRoot : string
9 (* Save an old copy for differencing *)
10
11 val tmpDir : string
12 (* Filesystem location for creating temporary directories *)
13
14 val domtool_publish : string
15
16 (* Names of machines who will receive configuration *)
17 val nodeIps : (string * string) list
18 val dispatcherName : string
19
20 val aclFile : string
21 (* Place to serialize ACL information *)
22
23 val testUser : string
24
25 val defaultDomain : string
26
27 val dispatcherPort : int
28 val slavePort : int
29 val queueSize : int
30
31 val bufSize : int
32
33 val trustStore : string
34
35 val certDir : string
36 val keyDir : string
37 val caDir : string
38
39 val dnsNodes_all : string list
40 val dnsNodes_admin : string list
41
42 val mailNodes_all : string list
43 val mailNodes_admin : string list
44
45 val domtoolDir : string -> string
46
47 val worldReadable : string list
48
49 val publish_reusers : string
50
51 include CONFIG_CORE