Limiting acceptable mail nodes

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

diff --git a/src/domain.sml b/src/domain.sml
index e09f399..d7603b2 100644 (file)
--- a/src/domain.sml
+++ b/src/domain.sml
@@ -153,7 +153,11 @@ val _ = Env.type_one "node"
        Env.string
        validNode
 
        Env.string
        validNode
 

-val _ = Env.registerFunction ("web_node_to_node",
+val _ = Env.registerFunction ("dns_node_to_node",
+                             fn [e] => SOME e
+                              | _ => NONE)
+
+val _ = Env.registerFunction ("mail_node_to_node",

                              fn [e] => SOME e
                               | _ => NONE)
 open Ast
                              fn [e] => SOME e
                               | _ => NONE)
 open Ast


@@ -620,4 +624,11 @@ val _ = Env.type_one "dns_node"
            orelse (hasPriv "dns"
                    andalso List.exists (fn x => x = node) Config.dnsNodes_admin))
 
            orelse (hasPriv "dns"
                    andalso List.exists (fn x => x = node) Config.dnsNodes_admin))
 

+val _ = Env.type_one "mail_node"
+       Env.string
+       (fn node =>
+           List.exists (fn x => x = node) Config.mailNodes_all
+           orelse (hasPriv "mail"
+                   andalso List.exists (fn x => x = node) Config.mailNodes_admin))
+

 end
 end