OnEventHandledAsync not called for ignored events

Open akashlal opened this issue 7 years ago • 1 comments

We should have a callback notification for ignored events. This callback, in conjuction with OnEventHandledAsync, informs the machine of all events that its processing from its inbox.

Sep 19 '18 05:09 akashlal

This change requires that ignore e be treated the same as on e do skip. I am prototyping this on the branch IgnoreAsSkip.

Sep 21 '18 03:09 akashlal