@ManagedOperation public void startGui() { if (discard_dialog == null) { discard_dialog = new DiscardDialog(); discard_dialog.init(); discard_dialog.setTitle(localAddress() != null ? localAddress().toString() : "n/a"); discard_dialog.handleView(members); } }
public Object down(Event evt) { switch (evt.getType()) { case Event.VIEW_CHANGE: View view = evt.getArg(); List<Address> mbrs = view.getMembers(); members.clear(); members.addAll(mbrs); // ignoredMembers.retainAll(mbrs); // remove all non members if (discard_dialog != null) discard_dialog.handleView(mbrs); break; case Event.SET_LOCAL_ADDRESS: localAddress = evt.getArg(); if (discard_dialog != null) discard_dialog.setTitle("Discard dialog (" + localAddress + ")"); break; case Event.GET_PING_DATA: if (discard_all) return null; break; } return down_prot.down(evt); }