Changeset 7529

Timestamp:

2004-06-02T11:15:58+12:00 (20 years ago)

Author:

mdewsnip

Message:

Why was the value tree case-insensitive?!?

File:

• trunk/gli/src/org/greenstone/gatherer/valuetree/GValueNode.java (modified) (1 diff)

trunk/gli/src/org/greenstone/gatherer/valuetree/GValueNode.java

@@ -208 +208 @@
     }
 
-   public GValueNode getValue(String value) {
-      ///ystem.err.println("GValueNode.getValue(" + value + ")");
-      if(default_value != null) {
-     return this;
-      }
-      if(children == null) {
-     map();
-      }
-      for(int i = 0; i < children.size(); i++) {
-     GValueNode child = (GValueNode) children.get(i);
-     ///ystem.err.println("Comparing value and '" + child.toString(GValueNode.DOM));
-     if(child.toString(GValueNode.DOM).equalsIgnoreCase(value)) {
-        return child;
-     }
-      }
-      return null;
-   }
+
+    public GValueNode getValue(String value)
+    {
+    ///ystem.err.println("GValueNode.getValue(" + value + ")");
+    if (default_value != null) {
+        return this;
+    }
+
+    if (children == null) {
+        map();
+    }
+
+    for (int i = 0; i < children.size(); i++) {
+        GValueNode child = (GValueNode) children.get(i);
+        // System.err.println("Comparing " + value + " and " + child.toString(GValueNode.DOM));
+        if (value.equals(child.toString(GValueNode.DOM))) {
+        return child;
+        }
+    }
+
+    return null;
+    }
+
 
     /** Adds <I>child</I> to the receiever at <I>index</I>. <I>child</I> will