logger.debug("handlePotentialTopologyChange: difference: {}, oldView={}, newView={}",
new Object[] {difference, oldView, newView});
}
}
oldView.markOld();
if (difference!=Type.TOPOLOGY_CHANGED) {
for (final TopologyEventListener da : eventListeners) {
sendTopologyEvent(da, new TopologyEvent(difference, oldView,
newView));
}