wait_until_idle fails to return when HELD_EVENTS present
Brought to you by:
simonjwright
coldframe-events_g-test_g.adb
If the event queue being waited on has HELD_EVENTS then
wait_until_idle never returns (the rendezvous entry
wait_until_no_timed_events waits on both POSTED_EVENTS
and HELD_EVENTS being zero rather than just POSTED_EVENTS)
Logged In: YES
user_id=917025
A workround would be to use a different event queue for the
domain that uses the held events rather than use the same
event queue for all domains.
I think at least I'd have to offer an extra parameter to
Wait_Until_Idle, possibly Ignoring_Held_Events : Boolean :=
False; but even that might not be the right solution for
everyone.
Logged In: YES
user_id=917025
ColdFrame bug # 0300.
Not obvious whether there should be a separate option to ignore
held events, or whether the present option should be extended to
ignore held events as well. Don't like the idea of making
Ignoring_Timers imply Ignoring_Held_Events.
Logged In: YES
user_id=917025
Decided that only a purist would insist on separate control of timer and
held events. The parameter is still Ignoring_Timers, but people would really
not like me to change that.