void Services.unregisterUsesPort(string portName)
{
ComponentID cid_inner = frw.getComponentID(mkPortName(portName));
if (!(cid_inner is ManagerIgnoredComponentID))
{
int[] nodes = cid.WorkerNodes;
//for (int i=0; i<nodes.Length; i++)
foreach (int i in WorkerServices.Keys)
{
gov.cca.Services ws = WorkerServices[i];
ws.unregisterUsesPort(portName);
}
}
frw.unregisterUsesPort(mkPortName(portName));
}
void Services.unregisterUsesPort(string portName)
{
ComponentID cid_inner = frw.getComponentID(mkPortName(portName));
if (!(cid_inner is ManagerIgnoredComponentID))
{
gov.cca.Services ws = WorkerServices;
try
{
ws.unregisterUsesPort(portName);
}
catch (Exception e)
{
//if (e.getCCAExceptionType () != CCAExceptionType.PortNotDefined)
// throw e;
}
}
frw.unregisterUsesPort(mkPortName(portName));
}