X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/2ed6d0e50d89234c3d63c3707e855c922bd49358..12adf55a902b1d9bde677e4636530e5753857e05:/src/domain.sig

diff --git a/src/domain.sig b/src/domain.sig
index c4fc329..570fa5e 100644
--- a/src/domain.sig
+++ b/src/domain.sig
@@ -43,4 +43,11 @@ signature DOMAIN = sig
     (* Names of all system nodes *)
     val nodeMap : string Ast.StringMap.map
     (* Map node names to IP addresses *)
+
+    val setUser : string -> unit
+    val getUser : unit -> string
+    (* Name of the UNIX user providing this configuration *)
+
+    val your_domains : unit -> DataStructures.StringSet.set
+    (* The domains the current user may configure *)
 end