Stop warning about silly DNS directives

diff --git a/src/plugins/bind.sml b/src/plugins/bind.sml
index 10892a2..7dbc1fa 100644 (file)
--- 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
 
 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
       | SOME files =>
        let
            fun write s = #write files s