$include_dir="/home/hyper-archives/boost/include"; include("$include_dir/msg-header.inc") ?>
From: Scott McCaskill (scott_at_[hidden])
Date: 2001-08-13 14:31:14
> Surely notifyThread() can happen between end of while loop and before
> the waitFor(e) is entered again. In which case you have a lost wakeup.
>
Hmm.. I don't think that's a problem here since the event would (presumably)
remain signaled and the thread is doing while( !q.empty() ) { ... }