From 6b00a070a7ab57acce9cb0da7dc6d68f6b75e924 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 14 Aug 2008 13:58:32 +0000 Subject: [PATCH] Stop warning about silly DNS directives --- src/plugins/bind.sml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 -- 2.20.1