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)); }