265266267268269270271272273
return result; } public void announceNodeRemoval(int nodeId, int except) { DestroyNode dn = new DestroyNode(); dn.id = nodeId; sendToAllExceptTCP(except, dn); }
9596979899100101102103104105
} // Node destroyed if (object instanceof DestroyNode) { DestroyNode cn = (DestroyNode) object; removeNode(nodes.get(cn.id)); nodeDestroyed(cn.id); return; }