X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/e0b0abd209a1ecbd9266cfcf8735af171f96869b..2ed6d0e50d89234c3d63c3707e855c922bd49358:/src/domain.sig diff --git a/src/domain.sig b/src/domain.sig index c2ebb95..c4fc329 100644 --- a/src/domain.sig +++ b/src/domain.sig @@ -38,4 +38,9 @@ signature DOMAIN = sig val dnsMaster : unit -> string option (* Name of the node that is the DNS master for the current domain, if there * is one *) + + val nodes : string list + (* Names of all system nodes *) + val nodeMap : string Ast.StringMap.map + (* Map node names to IP addresses *) end