X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/201b83c73c5a4e09dcf4c3f2f9b94ded360c78c6..c23af4454e79f11677c808b3e05e9d14061f71b1:/configDefault/domtool.cfs diff --git a/configDefault/domtool.cfs b/configDefault/domtool.cfs index 4cf7fee..aea7f33 100644 --- a/configDefault/domtool.cfs +++ b/configDefault/domtool.cfs @@ -13,15 +13,9 @@ val tmpDir : string val domtool_publish : string -(* DNS SOA parameter defaults *) -val defaultNs : string -val defaultRefresh : int -val defaultRetry : int -val defaultExpiry : int -val defaultMinimum : int - (* Names of machines who will receive configuration *) -val nodeIps : (string * string) list +(* This should be a record type instead of a list *) +val nodeIps : (string * string * string) list val dispatcherName : string val aclFile : string