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 (* Paths to standard UNIX utilities *)
  15 val cat : string
  16 val cp : string
  17 val diff : string
  18 val rm : string
  19 val echo : string
  20 val grep : string
  21 val sudo : string
  22 val domtool_publish : string
  23
  24 (* Names of machines who will receive configuration *)
  25 val nodeIps : (string * string) list
  26 val defaultNode : string
  27
  28 val masterNode : string
  29 val slaveNodes : string list
  30
  31 val aclFile : string
  32 (* Place to serialize ACL information *)
  33
  34 val testUser : string
  35
  36 val defaultDomain : string
  37
  38 val dispatcher : string
  39 val dispatcherPort : int
  40 val slavePort : int
  41 val queueSize : int
  42
  43 val bufSize : int
  44
  45 val trustStore : string
  46
  47 val certDir : string
  48 val keyDir : string
  49 val serialDir : string
  50
  51 val dispatcherName : string
  52
  53 val dnsNodes_all : string list
  54 val dnsNodes_admin : string list
  55
  56 val mailNodes_all : string list
  57 val mailNodes_admin : string list
  58
  59 val domtoolDir : string -> string
  60
  61 val worldReadable : string list
  62
  63 val publish_reusers : string