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
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