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