X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/e140629ff492a6440c7b0d892d27ed443a2f9cd9..d08b9cf26fd841b6ac665ae0eba83d69f53a809c:/lib/domain.dtl diff --git a/lib/domain.dtl b/lib/domain.dtl index 08606a6..c3e16b5 100644 --- a/lib/domain.dtl +++ b/lib/domain.dtl @@ -78,6 +78,10 @@ extern val externalMaster : ip -> master; {{A server not controlled by domtool will serve as master.}} extern val internalMaster : dns_node -> master; {{A server controlled by domtool will serve as master.}} +extern val dns_master_node : dns_node; +{{Internal master DNS node}} +extern val dns_slave_nodes : [dns_node]; +{{Internal slave DNS nodes}} extern type dnsKind; {{How should DNS for this domain be handled?}}