414415416417418419420421422423424
UsesPortInfo uInfo = (UsesPortInfo) usesPortMap.get(portName); if (uInfo != null) { synchronized(uInfo) { if (uInfo.getInUse()) throw new UsesPortNotReleasedException("Port " + portName + " still in use"); else { uInfo.unregisterPort(); usesPortMap.remove(portName); } }
895896897898899900901902903904905
WSPortInfo wsInfo = (WSPortInfo) wsPortMap.get(portName); if (wsInfo != null) { synchronized(wsInfo) { if (wsInfo.getInUse()) throw new UsesPortNotReleasedException("Port " + portName + " still in use"); else { wsInfo.unregisterPort(); wsPortMap.remove(portName); } }