Properties result = new Properties(); jndiRMIName = CarolDefaultValues.getRMIProtocol(p.getProperty(CarolDefaultValues.JNDI_URL_PREFIX)); TraceCarol.debugCarol("rmi used=" + jndiRMIName); TraceCarol.debugCarol("initial properties = " + p);
Properties result = new Properties(); jndiRMIName = CarolDefaultValues.getRMIProtocol(p.getProperty(CarolDefaultValues.JNDI_URL_PREFIX)); TraceCarol.debugCarol("rmi used=" + jndiRMIName); TraceCarol.debugCarol("initial properties = " + p);