X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/e0b0abd209a1ecbd9266cfcf8735af171f96869b..2ed6d0e50d89234c3d63c3707e855c922bd49358:/configDefault/domtool.cfs diff --git a/configDefault/domtool.cfs b/configDefault/domtool.cfs index e7f04aa..e23e55f 100644 --- a/configDefault/domtool.cfs +++ b/configDefault/domtool.cfs @@ -22,5 +22,5 @@ val defaultExpiry : int val defaultMinimum : int (* Names of machines who will receive configuration *) -val nodes : string list +val nodeIps : (string * string) list val defaultNode : string