Attachment 78058 Details for Bug 202095 – Fix

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

[patch] Fix

202095.txt (text/plain), 1.37 KB, created by Szymon Brandys

on 2007-09-11 09:24:59 EDT

(hide)

Description:

Filename:

MIME Type:

Creator: Szymon Brandys

Created: 2007-09-11 09:24:59 EDT

Size: 1.37 KB

patch

obsolete

>### Eclipse Workspace Patch 1.0
>#P org.eclipse.core.resources
>Index: src/org/eclipse/core/internal/resources/PathVariableManager.java
>===================================================================
>RCS file: /cvsroot/eclipse/org.eclipse.core.resources/src/org/eclipse/core/internal/resources/PathVariableManager.java,v
>retrieving revision 1.30
>diff -u -r1.30 PathVariableManager.java
>--- src/org/eclipse/core/internal/resources/PathVariableManager.java	22 Jun 2006 17:06:08 -0000	1.30
>+++ src/org/eclipse/core/internal/resources/PathVariableManager.java	11 Sep 2007 13:27:19 -0000
>@@ -14,6 +14,7 @@
> import java.util.*;
> import org.eclipse.core.filesystem.URIUtil;
> import org.eclipse.core.internal.events.PathVariableChangeEvent;
>+import org.eclipse.core.internal.utils.FileUtil;
> import org.eclipse.core.internal.utils.Messages;
> import org.eclipse.core.resources.*;
> import org.eclipse.core.runtime.*;
>@@ -201,7 +202,7 @@
> 				preferences.setToDefault(getKeyForName(varName));
> 				eventType = IPathVariableChangeEvent.VARIABLE_DELETED;
> 			} else {
>-				preferences.setValue(getKeyForName(varName), newValue.toPortableString());
>+				preferences.setValue(getKeyForName(varName), FileUtil.canonicalPath(newValue).toPortableString());
> 				eventType = variableExists ? IPathVariableChangeEvent.VARIABLE_CHANGED : IPathVariableChangeEvent.VARIABLE_CREATED;
> 			}
> 		}

Actions: View | Diff

Attachments on bug 202095: 78058 | 78081 | 78178