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

floblanc
06.52.2009 65fd707e4aefaf3c3f85774b1ca20e136b786253
opends/src/server/org/opends/server/core/CompareOperationBasis.java
@@ -233,6 +233,10 @@
   */
  public final AttributeType getAttributeType()
  {
    if (attributeType == null) {
      attributeType = DirectoryServer.getAttributeType(
          rawAttributeType.toLowerCase());
    }
    return attributeType;
  }
@@ -244,6 +248,7 @@
  public void setAttributeType(AttributeType attributeType)
  {
    this.attributeType = attributeType;
    this.rawAttributeType = attributeType.getNameOrOID();
  }