event.setTargetDestination(destServerName);
forwardEvent(event);
}
private String[] sendListTimerEvent(String server, String[] allServers) {
AdminEvent event = new EjbTimerEvent(server,
EjbTimerEvent.ACTION_LISTTIMERS,
server,
allServers);
event.setTargetDestination(server);
AdminEventResult res = forwardEvent(event);
return (String[]) res.getAttribute(server,
EjbTimerEvent.EJB_TIMER_CALL_RESULT_ATTRNAME);
}