/** * Deregister when agent is killed. */ @AgentKilled public IFuture<Void> agentkilled() { // Only wait 5 seconds for disconnect message. Future<Void> ret = new Future<Void>(); sendInfo(true).addResultListener(new TimeoutResultListener<Void>(5000, agent.getExternalAccess(), new DelegationResultListener<Void>(ret) { public void exceptionOccurred(Exception exception) { // Ignore exception. super.resultAvailable(null); } })); return ret; }
/** * Deregister when agent is killed. */ @AgentKilled public IFuture<Void> agentKilled() { // Only wait 5 seconds for disconnect message. Future<Void> ret = new Future<Void>(); sendInfo(true).addResultListener(new TimeoutResultListener<Void>(5000, agent.getExternalAccess(), new DelegationResultListener<Void>(ret) { public void exceptionOccurred(Exception exception) { // Ignore exception. super.resultAvailable(null); } })); return ret; }