Attachment #87014 for bug #215346

Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

Lines 61-66 Link Here

(-)src-config/org/eclipse/tptp/platform/agentcontroller/config/SetConfig.properties (+1 lines)
61	Config.IsDataMultiplexed.Tag=IsDataMultiplexed	61	Config.IsDataMultiplexed.Tag=IsDataMultiplexed
62	Config.ProcessPolling.Tag=ProcessPolling	62	Config.ProcessPolling.Tag=ProcessPolling
63	Config.Jvm.Tag=Jvm	63	Config.Jvm.Tag=Jvm
		64	Config.Jvm.Location.Tag=location
64	Config.Keystore.Tag=Keystore	65	Config.Keystore.Tag=Keystore
65	Config.KeystorePassword.Tag=KeystorePassword	66	Config.KeystorePassword.Tag=KeystorePassword
66	Config.Logging.Tag=Logging	67	Config.Logging.Tag=Logging




			agent = doc.createElement(Agent.TAG);
			Agent.setPath(agent, "%TPTP_AC_HOME%" + sr + "agents");
			acConfig.appendChild(agent);
			
			// Jvm
			
			jvm = doc.createElement(Jvm.TAG);
			Jvm.setLocation(jvm, configFile.getValue("jvm"));
			acConfig.appendChild(jvm);


			//
			// Logging

				configuration.appendChild(processPolling);
				n = doc.createTextNode("true");
				processPolling.appendChild(n);
				
				configuration.appendChild(jvm);
				n = doc.createTextNode(configFile.getValue("jvm"));
				jvm.appendChild(n);
				version = doc.createElement(Version.TAG);
				configuration.appendChild(version);
				n = doc.createTextNode(ConfigUtility

Lines 12-17 Link Here

(-)src-config/org/eclipse/tptp/platform/agentcontroller/config/Jvm.java (+8 lines)
12	**********************************************************************/	12	**********************************************************************/
13	package org.eclipse.tptp.platform.agentcontroller.config;	13	package org.eclipse.tptp.platform.agentcontroller.config;
14		14
		15	import org.w3c.dom.Element;
		16
15	public class Jvm extends ConfigElement {	17	public class Jvm extends ConfigElement {
16	public final static String TAG = ConfigUtility.getString("Config.Jvm.Tag");	18	public final static String TAG = ConfigUtility.getString("Config.Jvm.Tag");
		19
		20	public static void setLocation(Element elem, String value) {
		21	elem.setAttribute(ConfigUtility.getString("Config.Jvm.Location.Tag"), value);
		22	}
		23
		24
17	}	25	}

Return to bug 215346

Lines 968-973 Link Here

(-)src-config/org/eclipse/tptp/platform/agentcontroller/config/SetConfig.java (-4 / +8 lines)
968	agent = doc.createElement(Agent.TAG);	968	agent = doc.createElement(Agent.TAG);
969	Agent.setPath(agent, "%TPTP_AC_HOME%" + sr + "agents");	969	Agent.setPath(agent, "%TPTP_AC_HOME%" + sr + "agents");
970	acConfig.appendChild(agent);	970	acConfig.appendChild(agent);
		971
		972	// Jvm
		973
		974	jvm = doc.createElement(Jvm.TAG);
		975	Jvm.setLocation(jvm, configFile.getValue("jvm"));
		976	acConfig.appendChild(jvm);
		977
971		978
972	//	979	//
973	// Logging	980	// Logging
Lines 1094-1103 Link Here
1094	configuration.appendChild(processPolling);	1101	configuration.appendChild(processPolling);
1095	n = doc.createTextNode("true");	1102	n = doc.createTextNode("true");
1096	processPolling.appendChild(n);	1103	processPolling.appendChild(n);
1097	jvm = doc.createElement(Jvm.TAG);	1104
1098	configuration.appendChild(jvm);
1099	n = doc.createTextNode(configFile.getValue("jvm"));
1100	jvm.appendChild(n);
1101	version = doc.createElement(Version.TAG);	1105	version = doc.createElement(Version.TAG);
1102	configuration.appendChild(version);	1106	configuration.appendChild(version);
1103	n = doc.createTextNode(ConfigUtility	1107	n = doc.createTextNode(ConfigUtility