Attachment 21952 Details for Bug 97164 – Proposed fix

[patch] Proposed fix

patch97164_org.eclipse.jdt.core.txt (text/plain), 1.50 KB, created by Jerome Lanneluc

on 2005-05-30 05:43:35 EDT

(hide)

Description:

Filename:

MIME Type:

Creator: Jerome Lanneluc

Created: 2005-05-30 05:43:35 EDT

Size: 1.50 KB

patch

obsolete

>Index: model/org/eclipse/jdt/internal/core/JavaModelManager.java
>===================================================================
>RCS file: /home/eclipse/org.eclipse.jdt.core/model/org/eclipse/jdt/internal/core/JavaModelManager.java,v
>retrieving revision 1.278
>diff -u -r1.278 JavaModelManager.java
>--- model/org/eclipse/jdt/internal/core/JavaModelManager.java	26 May 2005 09:40:43 -0000	1.278
>+++ model/org/eclipse/jdt/internal/core/JavaModelManager.java	30 May 2005 09:42:04 -0000
>@@ -1776,16 +1776,22 @@
> 					String varName = propertyName.substring(variablePrefixLength);
> 					String propertyValue = preferences.get(propertyName, null);
> 					if (propertyValue != null) {
>+						// cleanup old preferences
>+						preferences.remove(propertyName); 
>+						
>+						// add variable to table
> 						IPath varPath = new Path(propertyValue.trim());
> 						this.variables.put(varName, varPath); 
> 						this.previousSessionVariables.put(varName, varPath);
>-						preferences.remove(propertyName); // cleanup old preferences
> 					}
> 				} else if (propertyName.startsWith(CP_CONTAINER_PREFERENCES_PREFIX)){
> 					String propertyValue = preferences.get(propertyName, null);
> 					if (propertyValue != null) {
>+						// cleanup old preferences
>+						preferences.remove(propertyName); 
>+						
>+						// recreate container
> 						recreatePersistedContainer(propertyName, propertyValue, true/*add to container values*/);
>-						preferences.remove(propertyName); // cleanup old preferences
> 					}
> 				}
> 			}

Actions: View | Diff

Attachments on bug 97164: 21952