[HCoop-Help] Domtool help please...?

[Adam Chlipala]

Ron Senykoff wrote:
> I've noticed that domtool doesn't seem to clear everything when
> re-running. I think your best bet for reverting is to remove it
> altogher first using:
> domtool-admin rmdom rosasharn.com
> then:
> domtool yourDomfile
>   

This should never be necessary, and it's a Domtool bug if this sequence 
of two commands ever has a different effect than just running the second 
command.  Every Domtool command line only changes domains that are 
mentioned explicitly, so removing one domain from the set that you're 
configuring definitely won't lead to that domain's "real" configuration 
being unpublished just because you run "domtool" with no arguments.  
Besides that, the only other source I can think of for "configuration 
overstaying its welcome" is from caching on your side, which we have no 
control over.