You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
ICoyoteRuntime.Stop() does not tell the actors about this event, it would be nice is we had a way to cause OnHaltAsync to be invoked on all actors, without having to explicitly send HaltEvent to each of them - outside code may not even know all the ActorId's to do this, whereas the Runtime does. Perhaps we need a new async method like this:
TaskHaltAsync();
And the ActorRuntime can implement this by calling OnHaltAsync on all actors that are not already halted.
The text was updated successfully, but these errors were encountered:
ICoyoteRuntime.Stop() does not tell the actors about this event, it would be nice is we had a way to cause OnHaltAsync to be invoked on all actors, without having to explicitly send HaltEvent to each of them - outside code may not even know all the ActorId's to do this, whereas the Runtime does. Perhaps we need a new async method like this:
And the ActorRuntime can implement this by calling OnHaltAsync on all actors that are not already halted.
The text was updated successfully, but these errors were encountered: