X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/2ed6d0e50d89234c3d63c3707e855c922bd49358..07cc384cf2e6e3589f2892026a9b8f9835c8eb2c:/configDefault/domtool.cfs diff --git a/configDefault/domtool.cfs b/configDefault/domtool.cfs index e23e55f..43f9f06 100644 --- a/configDefault/domtool.cfs +++ b/configDefault/domtool.cfs @@ -24,3 +24,16 @@ val defaultMinimum : int (* Names of machines who will receive configuration *) val nodeIps : (string * string) list val defaultNode : string + +val aclFile : string +(* Place to serialize ACL information *) + +val testUser : string + +val defaultDomain : string + +val dispatcher : string +val dispatcherPort : int + +val bufSize : int +