myLogger.log(Logger.INFO, "Removing replica <" + address + "> from the platform");
}
// Remove the old replica
try {
TransportAddressWrapper key = TransportAddressWrapper.getWrapper(address, myIMTPManager);
if (replicas.remove(key) == null) {
// The replica to remove is not among the known replicas --> Print a warning since this should never happen
StringBuffer sb = new StringBuffer("Replica "+key.hashCode()+", "+key.getAddress()+"not found! Known replicas are: {");
Iterator it = replicas.keySet().iterator();
while (it.hasNext()) {
TransportAddressWrapper taw = (TransportAddressWrapper) it.next();
sb.append(""+taw.hashCode()+", "+taw.getAddress());
if (it.hasNext()) {
sb.append("; ");
}
}
sb.append("}");