mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-01 06:05:24 +02:00
Code Issues Wiki Activity

Fix for bug 142807. Property sets (used in server launcher properties) were not being restored correctly from the DOM. Fixed by parsing attribute keys properly in makeNode().

Browse source
This commit is contained in:
David Dykstal 2006-05-19 18:19:03 +00:00
parent ad0b2c2b72
commit 1e5da36f31
1 changed files with 6 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

13
rse/plugins/org.eclipse.rse.ui/persistence/org/eclipse/rse/persistence/PropertyFileProvider.java
View file

@ -487,26 +487,25 @@ public class PropertyFileProvider implements IRSEPersistenceProvider {
Map childPropertiesMap = new HashMap();
for (Iterator z = keys.iterator(); z.hasNext();) {
String key = (String) z.next();
String[] words = split(key, 3);
String[] words = split(key, 2);
String metatype = words[0];
if (metatype.equals(MT_ATTRIBUTE)) {
String value = properties.getProperty(key);
String name = words[1];
attributes.put(name, value);
attributes.put(words[1], value);
} else if (metatype.equals(MT_ATTRIBUTE_TYPE)) {
String type = properties.getProperty(key);
String name = words[1];
attributeTypes.put(name, type);
attributeTypes.put(words[1], type);
} else if (metatype.equals(MT_REFERENCE)) {
int n = Integer.parseInt(words[1]) + 1;
if (nReferences < n) nReferences = n;
} else if (metatype.equals(MT_CHILD)) {
String value = properties.getProperty(key);
String indexString = words[1];
words = split(words[1], 2);
String indexString = words[0];
String newKey = words[1];
int n = Integer.parseInt(indexString) + 1;
if (nChildren < n) nChildren = n;
Properties p = getProperties(childPropertiesMap, indexString);
String newKey = words[2];
p.put(newKey, value);
}
}