X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/3ae703b6dff72066727eb5087151c4be8d439ed3..6b00a070a7ab57acce9cb0da7dc6d68f6b75e924:/src/plugins/bind.sml diff --git a/src/plugins/bind.sml b/src/plugins/bind.sml index 10892a2..7dbc1fa 100644 --- a/src/plugins/bind.sml +++ b/src/plugins/bind.sml @@ -111,8 +111,8 @@ val record = fn (EApp ((EApp ((EVar "dnsA", _), e1), _), e2), _) => fun writeRecord (evs, r) = case !dns of - NONE => print ("Warning: DNS directive for " ^ Domain.currentDomain () - ^ " ignored because no master DNS server is configured for this domain\n") + NONE => () (* print ("Warning: DNS directive for " ^ Domain.currentDomain () + ^ " ignored because no master DNS server is configured for this domain\n") *) | SOME files => let fun write s = #write files s