+fun hasPriv priv = Acl.query {user = getUser (), class = "priv", value = "all"}
+ orelse Acl.query {user = getUser (), class = "priv", value = priv}
+
+val _ = Env.type_one "dns_node"
+ Env.string
+ (fn node =>
+ List.exists (fn x => x = node) Config.dnsNodes_all
+ 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))
+