Better DNS slave handling

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

diff --git a/src/domain.sig b/src/domain.sig
index 8c79274..c4fc329 100644 (file)
--- a/src/domain.sig
+++ b/src/domain.sig
@@ -31,7 +31,16 @@ signature DOMAIN = sig
 
     val currentDomain : unit -> string
 
-    val domainFile : string -> TextIO.outstream
-    (* Open one of the current domain's configuration files. *)
+    val domainFile : {node : string, name : string} -> TextIO.outstream
+    (* Open one of the current domain's configuration files for a particular
+     * node. *)
 
+    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