[HCoop-Help] Question about domtool using older DNS nameserver setup

[Adam Chlipala]

Kristopher Overholt wrote:
> I just wanted to ask a quick question related to domtool. I use the 
> 'dom' directive for my 2 sites on hcoop, and when I do a domtool-admin 
> describe command on them, I see that it is using the three nameservers:
>
> koverholt.com <http://koverholt.com>.    172800    IN    NS    
> ns1.hcoop.net <http://ns1.hcoop.net>.
> koverholt.com <http://koverholt.com>.    172800    IN    NS    
> ns3.hcoop.net <http://ns3.hcoop.net>.
> koverholt.com <http://koverholt.com>.    172800    IN    NS    
> ns5.hcoop.net <http://ns5.hcoop.net>.
>
> I thought that the nameservers were now updated per Adam's message on 
> April 20th such that we should be using only ns1.hcoop.net 
> <http://ns1.hcoop.net> and ns2.hcoop.net <http://ns2.hcoop.net>?

Thanks for spotting that.  I should have changed that a while back; I'm 
not sure if I did and it got overwritten from an old version, or if I 
just forgot.

[dom] is changed now.