public String[] getDivertNames() { checkStarted(); clearIO(); try { Object[] diverts = server.getManagementService().getResources(DivertControl.class); String[] names = new String[diverts.length]; for (int i = 0; i < diverts.length; i++) { DivertControl divert = (DivertControl)diverts[i]; names[i] = divert.getUniqueName(); } return names; } finally { blockOnIO(); } }
public String[] getDivertNames() { checkStarted(); clearIO(); try { Object[] diverts = server.getManagementService().getResources(DivertControl.class); String[] names = new String[diverts.length]; for (int i = 0; i < diverts.length; i++) { DivertControl divert = (DivertControl) diverts[i]; names[i] = divert.getUniqueName(); } return names; } finally { blockOnIO(); } }