value = argProp.getProperty(REMOTE_SERVICE_MANAGER_ADDRESSES);
if (value != null) {
try {
Vector v = Specifier.parseSpecifierList(value);
// Convert the Vector into a List
List l = new ArrayList(v.size());
Enumeration e = v.elements();
while (e.hasMoreElements()) {
l.add(e.nextElement());
}
setSpecifiers(Profile.REMOTE_SERVICE_MANAGER_ADDRESSES, l);
}
catch(Exception e) {
e.printStackTrace();
}
}
value = argProp.getProperty(NAME_KEY);
if (value != null) {
profileProp.setProperty(Profile.PLATFORM_ID, value);
}
value = argProp.getProperty(LOGIN_KEY);
if (value != null) {
profileProp.setProperty(Profile.USERAUTH_KEY, value);
}
value = argProp.getProperty(MTP_KEY);
if (value != null) {
setSpecifiers(Profile.MTPS, parseSpecifiers(value));
}
//NOMTP
flag = fetchAndVerifyBoolean(NOMTP_KEY);
if (flag) {
// Since the value was set to true, cancel the MTP settings
setSpecifiers(Profile.MTPS, new ArrayList(0));
}
value = argProp.getProperty(ACLCODEC_KEY);
if (value != null) {
setSpecifiers(Profile.ACLCODECS, parseSpecifiers(value));
}
// Get agent list (if any)
value = argProp.getProperty(AGENTS);
flag = fetchAndVerifyBoolean(GUI_KEY);
if (flag) {
// need to run RMA agent
if (value != null) {
value = "RMA:jade.tools.rma.rma " + value; // put before other agents
} else {
value = "RMA:jade.tools.rma.rma"; // only one
}
}
if (value != null) {
Vector agentVector = helper.T2(value, false);
List agents = new ArrayList();
for (Enumeration e = helper.getCommandLineAgentSpecifiers(agentVector);
e.hasMoreElements(); ) {
agents.add((Specifier) e.nextElement());
}
setSpecifiers(Profile.AGENTS, agents);
}