Boost logo

Boost Users :

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.

Boost-users list run by williamkempf at, kalb at, bjorn.karlsson at, gregod at, wekempf at