mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

matthew_swift
25.03.2006 09fcb137f6d46e0c32f03b0313ac445a2ee7ecc3
opends/src/server/org/opends/server/core/Schema.java
@@ -296,7 +296,7 @@
                                       msgID);
        }
        for (String name : attributeType.getNames().keySet())
        for (String name : attributeType.getNormalizedNames())
        {
          if (attributeTypes.containsKey(name))
          {
@@ -313,7 +313,7 @@
      attributeTypes.put(toLowerCase(attributeType.getOID()), attributeType);
      for (String name : attributeType.getNames().keySet())
      for (String name : attributeType.getNormalizedNames())
      {
        attributeTypes.put(name, attributeType);
      }
@@ -344,7 +344,7 @@
    {
      attributeTypes.remove(toLowerCase(attributeType.getOID()), attributeType);
      for (String name : attributeType.getNames().keySet())
      for (String name : attributeType.getNormalizedNames())
      {
        attributeTypes.remove(name, attributeType);
      }