HCoop
/
hcoop
/
domtool2.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
add bin/ to repository
[hcoop/domtool2.git]
/
lib
/
domain.dtl
diff --git
a/lib/domain.dtl
b/lib/domain.dtl
index
c3e16b5
..
1077991
100644
(file)
--- a/
lib/domain.dtl
+++ b/
lib/domain.dtl
@@
-66,7
+66,7
@@
extern type soa;
{{DNS start-of-authority record}}
extern val soa : domain -> serial -> int -> int -> int -> int -> soa;
{{DNS start-of-authority record}}
extern val soa : domain -> serial -> int -> int -> int -> int -> soa;
-val defaultSoa = soa "
deleuze
.hcoop.net" serialAuto 86400 1800 1209600 3600;
+val defaultSoa = soa "
fritz
.hcoop.net" serialAuto 86400 1800 1209600 3600;
extern type dns_node;
{{A node offering DNS services}}
extern type dns_node;
{{A node offering DNS services}}
@@
-78,10
+78,6
@@
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.}}
{{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?}}
extern type dnsKind;
{{How should DNS for this domain be handled?}}