Move default environment settings from SML to Domtool
[clinton/domtool2.git] / configDefault / domtool.cfs
... / ...
CommitLineData
1val libRoot : string
2(* Basis library root directory *)
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. *)
7
8val oldResultRoot : string
9(* Save an old copy for differencing *)
10
11val tmpDir : string
12(* Filesystem location for creating temporary directories *)
13
14(* Paths to standard UNIX utilities *)
15val cat : string
16val cp : string
17val diff : string
18val rm : string
19val echo : string
20val grep : string
21val sudo : string
22val domtool_publish : string
23
24(* Names of machines who will receive configuration *)
25val nodeIps : (string * string) list
26val defaultNode : string
27
28val masterNode : string
29val slaveNodes : string list
30
31val aclFile : string
32(* Place to serialize ACL information *)
33
34val testUser : string
35
36val defaultDomain : string
37
38val dispatcher : string
39val dispatcherPort : int
40val slavePort : int
41val queueSize : int
42
43val bufSize : int
44
45val trustStore : string
46
47val certDir : string
48val keyDir : string
49val serialDir : string
50
51val dispatcherName : string
52
53val dnsNodes_all : string list
54val dnsNodes_admin : string list
55
56val mailNodes_all : string list
57val mailNodes_admin : string list
58
59val domtoolDir : string -> string
60
61val worldReadable : string list
62
63val publish_reusers : string