public void mappingDestroyed(UPnPMapping mapping) {
try {
this_mon.enter();
mappings.remove(mapping);
log.log("Mapping request removed: " + mapping.getString());
for (int j = 0; j < services.size(); j++) {
UPnPPluginService service = (UPnPPluginService) services.get(j);
service.removeMapping(log, mapping, false);
}
} finally {
this_mon.exit();
}
}
