Better DNS slave handling

[hcoop/domtool2.git] / src / domain.sig

diff --git a/src/domain.sig b/src/domain.sig
index c2ebb95..c4fc329 100644 (file)
--- 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