Ejemplo n.º 1
0
        Port Services.getPort(string portName)
        {
            Port port = frw.getServicePort(cid, mkPortName(portName));

            return(port == null?frw.getPort(mkPortName(portName)) : port);
        }