protected void killConnections(ibis.ipl.IbisIdentifier corpse) {
SendPort[] sps;
ReceivePort[] rps;
synchronized (this) {
sps = sendPorts.values().toArray(new SendPort[sendPorts.size()]);
rps = receivePorts.values().toArray(new ReceivePort[receivePorts.size()]);
}
for (SendPort s : sps) {
try {
s.killConnectionsWith(corpse);
} catch (Throwable e) {
if (logger.isDebugEnabled()) {
logger.debug("Got exception from killConnectionsWith", e);
}
}
}
for (ReceivePort p : rps) {
try {
p.killConnectionsWith(corpse);
} catch (Throwable e) {
if (logger.isDebugEnabled()) {
logger.debug("Got exception from killConnectionsWith", e);
}
}
}
}
