On Wed, Jun 25, 2008 at 01:59:12PM -0400, Christopher Browne wrote:
> 
> However, there *is* a way to WAIT FOR EVENT that you should be able to
> expect to work, and if it doesn't there's something buggy going on.

I thought that was in the original report, no?  That's why I asked whether
Jan's change helped.
 
> No doubt I should add this to the documentation :-).

I actually saw a discussion of this in the documentation somewhere recently,
so I think it's there, just not highlighted.

A