Called by the observed Container, when an Agent died normally.
Container
Agent
537538539540541542543544545546547
void notifyAgentDead(AgentInfo agent) { for(int i = 0; i < this.containerListeners.size(); i++) { ContainerListener l = (ContainerListener)this.containerListeners.get(i); l.agentDied(agent); } } /** * <p>Deliveres the <code>Message</code>.</p>