Attachment 78454 Details for Bug 202546 – patch

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

[patch] patch

202546_patch.txt (text/plain), 1.07 KB, created by Eugene Chan

on 2007-09-14 14:09:21 EDT

(hide)

Description:

Filename:

MIME Type:

Creator: Eugene Chan

Created: 2007-09-14 14:09:21 EDT

Size: 1.07 KB

patch

obsolete

>### Eclipse Workspace Patch 1.0
>#P org.eclipse.tptp.platform.profile.server.wst
>Index: src/org/eclipse/tptp/platform/profile/server/wst/internal/TPTPServerProfilerDelegate.java
>===================================================================
>RCS file: /cvsroot/tptp/platform/org.eclipse.tptp.platform.profile.server.wst/src/org/eclipse/tptp/platform/profile/server/wst/internal/TPTPServerProfilerDelegate.java,v
>retrieving revision 1.24
>diff -u -r1.24 TPTPServerProfilerDelegate.java
>--- src/org/eclipse/tptp/platform/profile/server/wst/internal/TPTPServerProfilerDelegate.java	16 Aug 2007 16:55:00 -0000	1.24
>+++ src/org/eclipse/tptp/platform/profile/server/wst/internal/TPTPServerProfilerDelegate.java	14 Sep 2007 18:08:57 -0000
>@@ -326,6 +326,10 @@
> 		this.monitor=monitor;
> 		wc = launch.getLaunchConfiguration().getWorkingCopy();
> 		
>+		if (AdminUtil.isConfigEmpty()) {
>+            AdminUtil.generateConfigFile();
>+		}
>+		
> 		String[] vmArgs = vmConfig.getVMArguments();
> 		String[] envcfg = vmConfig.getEnvironment();
> 		String[] env = getEnvironmentVariables();

Actions: View | Diff

Attachments on bug 202546: 78454 | 78455 | 78553 | 78554 | 78555