
3 Jun
2008
3 Jun
'08
12:06 p.m.
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.