Subject: Re: Generating a crash dump...
To: Manuel Bouyer <>
From: John Hawkinson <jhawk@MIT.EDU>
List: current-users
Date: 05/27/2000 12:36:37
In message <>, Manuel Bouyer writes:
>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.