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

Jean-Noel Rouvignac
10.16.2015 a632fbfad0ddbe8b343c6abe8e28dc41e3df9b7e
opendj-server-legacy/src/main/java/org/opends/server/tasks/ExportTask.java
@@ -479,8 +479,7 @@
      }
    }
    // If we got here the task either completed successfully or
    // was interrupted
    // If we got here the task either completed successfully or was interrupted
    return getFinalTaskState();
  }
@@ -493,14 +492,7 @@
    HashSet<AttributeType> attributes = new HashSet<>();
    for (String attrName : attributeStrings)
    {
      String lowerName = attrName.toLowerCase();
      AttributeType attrType = DirectoryServer.getAttributeType(lowerName);
      if (attrType == null)
      {
        attrType = DirectoryServer.getDefaultAttributeType(attrName);
      }
      attributes.add(attrType);
      attributes.add(DirectoryServer.getAttributeType(attrName.toLowerCase(), attrName));
    }
    return attributes;
  }