merge toplevel-dynamic-environment
[hcoop/domtool2.git] / configDefault / domtool.cfs
CommitLineData
d189ec0e
AC
1val libRoot : string
2(* Basis library root directory *)
095de39e
AC
3
4val 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. *)
d189ec0e 7
1638d5a2
AC
8val oldResultRoot : string
9(* Save an old copy for differencing *)
10
d612d62c
AC
11val tmpDir : string
12(* Filesystem location for creating temporary directories *)
13
2bc5ed22 14val domtool_publish : string
6ae327f8 15
e0b0abd2 16(* Names of machines who will receive configuration *)
2ed6d0e5 17val nodeIps : (string * string) list
201b83c7 18val dispatcherName : string
12adf55a
AC
19
20val aclFile : string
21(* Place to serialize ACL information *)
22
23val testUser : string
8a7c40fa
AC
24
25val defaultDomain : string
559e89e9 26
07cc384c 27val dispatcherPort : int
36e42cb8 28val slavePort : int
3b267643 29val queueSize : int
07cc384c
AC
30
31val bufSize : int
32
3b267643 33val trustStore : string
aa56e112
AC
34
35val certDir : string
36val keyDir : string
2c4e2cf3 37val caDir : string
36e42cb8 38
be1bea4c
AC
39val dnsNodes_all : string list
40val dnsNodes_admin : string list
bbdf617f
AC
41
42val mailNodes_all : string list
43val mailNodes_admin : string list
1824f573
AC
44
45val domtoolDir : string -> string
998ed174
AC
46
47val worldReadable : string list
563e7792
AC
48
49val publish_reusers : string
841c836a
CE
50
51include CONFIG_CORE