Port Services.getPort(string portName) { Port port = frw.getServicePort(cid, mkPortName(portName)); return(port == null?frw.getPort(mkPortName(portName)) : port); }