Attachment 87014 Details for Bug 215346 – Patch to SetConfig Configuration Java Files

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

[patch] Patch to SetConfig Configuration Java Files

tptpconfigchanges.patch (text/plain), 3.28 KB, created by Jonathan West

on 2008-01-15 23:40:18 EST

(hide)

Description:

Filename:

MIME Type:

Creator: Jonathan West

Created: 2008-01-15 23:40:18 EST

Size: 3.28 KB

patch

obsolete

>### Eclipse Workspace Patch 1.0
>#P org.eclipse.tptp.platform.agentcontroller
>Index: src-config/org/eclipse/tptp/platform/agentcontroller/config/SetConfig.properties
>===================================================================
>RCS file: /cvsroot/tptp/platform/org.eclipse.tptp.platform.agentcontroller/src-config/org/eclipse/tptp/platform/agentcontroller/config/SetConfig.properties,v
>retrieving revision 1.19
>diff -u -r1.19 SetConfig.properties
>--- src-config/org/eclipse/tptp/platform/agentcontroller/config/SetConfig.properties	5 Sep 2007 13:37:56 -0000	1.19
>+++ src-config/org/eclipse/tptp/platform/agentcontroller/config/SetConfig.properties	16 Jan 2008 04:30:54 -0000
>@@ -61,6 +61,7 @@
> Config.IsDataMultiplexed.Tag=IsDataMultiplexed
> Config.ProcessPolling.Tag=ProcessPolling
> Config.Jvm.Tag=Jvm
>+Config.Jvm.Location.Tag=location
> Config.Keystore.Tag=Keystore
> Config.KeystorePassword.Tag=KeystorePassword
> Config.Logging.Tag=Logging
>Index: src-config/org/eclipse/tptp/platform/agentcontroller/config/SetConfig.java
>===================================================================
>RCS file: /cvsroot/tptp/platform/org.eclipse.tptp.platform.agentcontroller/src-config/org/eclipse/tptp/platform/agentcontroller/config/SetConfig.java,v
>retrieving revision 1.59
>diff -u -r1.59 SetConfig.java
>--- src-config/org/eclipse/tptp/platform/agentcontroller/config/SetConfig.java	29 Aug 2007 19:53:15 -0000	1.59
>+++ src-config/org/eclipse/tptp/platform/agentcontroller/config/SetConfig.java	16 Jan 2008 04:30:54 -0000
>@@ -968,6 +968,13 @@
> 			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
>@@ -1094,10 +1101,7 @@
> 				configuration.appendChild(processPolling);
> 				n = doc.createTextNode("true");
> 				processPolling.appendChild(n);
>-				jvm = doc.createElement(Jvm.TAG);
>-				configuration.appendChild(jvm);
>-				n = doc.createTextNode(configFile.getValue("jvm"));
>-				jvm.appendChild(n);
>+				
> 				version = doc.createElement(Version.TAG);
> 				configuration.appendChild(version);
> 				n = doc.createTextNode(ConfigUtility
>Index: src-config/org/eclipse/tptp/platform/agentcontroller/config/Jvm.java
>===================================================================
>RCS file: /cvsroot/tptp/platform/org.eclipse.tptp.platform.agentcontroller/src-config/org/eclipse/tptp/platform/agentcontroller/config/Jvm.java,v
>retrieving revision 1.1
>diff -u -r1.1 Jvm.java
>--- src-config/org/eclipse/tptp/platform/agentcontroller/config/Jvm.java	11 Feb 2006 02:42:57 -0000	1.1
>+++ src-config/org/eclipse/tptp/platform/agentcontroller/config/Jvm.java	16 Jan 2008 04:30:53 -0000
>@@ -12,6 +12,14 @@
> **********************************************************************/
> package org.eclipse.tptp.platform.agentcontroller.config;
> 
>+import org.w3c.dom.Element;
>+
> public class Jvm extends ConfigElement {
> 	public final static String TAG = ConfigUtility.getString("Config.Jvm.Tag");
>+	
>+	public static void setLocation(Element elem, String value) {
>+		elem.setAttribute(ConfigUtility.getString("Config.Jvm.Location.Tag"), value);
>+	}
>+
>+
> }

Actions: View | Diff

Attachments on bug 215346: 87013 | 87014 | 87151