From: Igor R (boost.lists_at_[hidden])
Date: 2008-06-03 08:06:26


Ok, I found out what the problem was. Actually, simple process_event()
call would do the work, as it returns only after all the posted events
are processed.