HCoop Git - hcoop/domtool2.git/blame_incremental

... / ...

Commit	Line	Data
	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	(* This should be a record type instead of a list *)
	18	val nodeIps : (string * string * string) list
	19	val dispatcherName : string
	20
	21	val aclFile : string
	22	(* Place to serialize ACL information *)
	23
	24	val testUser : string
	25
	26	val defaultDomain : string
	27
	28	val dispatcherPort : int
	29	val slavePort : int
	30	val queueSize : int
	31
	32	val bufSize : int
	33
	34	val trustStore : string
	35
	36	val certDir : string
	37	val keyDir : string
	38	val caDir : string
	39
	40	val dnsNodes_all : string list
	41	val dnsNodes_admin : string list
	42
	43	val mailNodes_all : string list
	44	val mailNodes_admin : string list
	45
	46	val domtoolDir : string -> string
	47
	48	val worldReadable : string list
	49
	50	val publish_reusers : string
	51
	52	include CONFIG_CORE