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

[Ron Senykoff]

On Fri, Jun 20, 2008 at 1:45 PM, Adam Chlipala <adamc at hcoop.net> wrote:
> 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.

It's possible that my experience with needing to do this was when the
ssl certificate errors were happening a couple days ago. Before then I
had never used the rmdom command so what you're saying makes sense
(well, considering you wrote the code!). :)

Thanks,
-Ron