fun writeRecord (evs, r) =
case !dns of
- NONE => print "Warning: DNS directive 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