// 해당 로컬 아이디를 제거한다. public void Handle(UnsubscribeMonitorLocal local) { foreach (var obj in _managerOfClients) { obj.Value.LocalIDMap[local.ID] = false; obj.Value.AssignedClientActor.Tell(local); } }
public void Handle(UnsubscribeMonitorLocal localID) { if (localID.ID == _localCount) { _localCount--; } _localManager[localID.ID].IsTerminated = true; _deletedLocalIDStock.Push(localID.ID); Context.Parent.Tell(new UnsubscribeMonitorLocal(localID.ID)); }
public void Handle(UnsubscribeMonitorLocal deleteLocal) { Context.Child("ClientServer").Tell(deleteLocal); }