X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/7af7d4cb58acc571a75b51c0dd0f1b4d9c92e619..976657583f419a6a204400ea90f9758d15243acb:/src/domain.sml?ds=inline

diff --git a/src/domain.sml b/src/domain.sml
index e1099b4..15903a2 100644
--- a/src/domain.sml
+++ b/src/domain.sml
@@ -221,8 +221,11 @@ datatype master =
 	 ExternalMaster of string
        | InternalMaster of string
 
-val master = fn (EApp ((EVar "externalMaster", _), e), _) => Option.map ExternalMaster (Env.string e)
-	      | (EApp ((EVar "internalMaster", _), e), _) => Option.map InternalMaster (Env.string e)
+val ip = fn (EApp ((EVar "ip_of_node", _), e), _) => Option.map nodeIp (Env.string e)
+	  | e => Env.string e
+
+val master = fn (EApp ((EVar "externalMaster", _), e), _) => Option.map ExternalMaster (ip e)
+	      | (EApp ((EVar "internalMaster", _), e), _) => Option.map InternalMaster (ip e)
 	      | _ => NONE
 
 datatype dnsKind =