On Fri, Jun 20, 2008 at 1:45 PM, Adam Chlipala <[EMAIL PROTECTED]> 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 _______________________________________________ HCoop-Help mailing list [email protected] https://lists.hcoop.net/listinfo/hcoop-help
