protected void ReceivedTerminated(Terminated t)
{
if (!_state.ContainsTerminated(t.ActorRef))
{
return;
}
_state = _state.RemoveTerminated(t.ActorRef); // here we know that it is the SAME ref which was put in
ReceiveMessage(t);
}
/// <summary>
/// TBD
/// </summary>
/// <param name="t">TBD</param>
protected void ReceivedTerminated(Terminated t)
{
if (!_state.ContainsTerminated(t.ActorRef))
{
return;
}
Option <object> customTerminatedMessage;
(_state, customTerminatedMessage) = _state.RemoveTerminated(t.ActorRef); // here we know that it is the SAME ref which was put in
ReceiveMessage(customTerminatedMessage.GetOrElse(t));
}
