In message <20000527181000.A865@antioche.eu.org>, Manuel Bouyer writes:
>
>--45Z9DzgjV8m4Oswq
>Content-Type: text/plain; charset=us-ascii
>
>Ops, the problem is an error on my side sorry. When I changed the state
>code some time ago I forgot to update the wddump() one. The state *is* reset
>at the beggining of the dump.
>The attached patch should fix it (I also just commited it).

Excellent. I just tested this and it works fine.

--jhawk