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

Jean-Noel Rouvignac
15.46.2015 0e38f7b6658c3c9e0d3f81ba05b2740fe127a4f9
opendj-server-legacy/src/main/java/org/opends/server/backends/pluggable/AttributeIndex.java
@@ -532,7 +532,7 @@
  {
    if (indexNameOut.length() > 0)
    {
      debugBuffer.append(newUndefinedSet().toString());
      debugBuffer.append(newUndefinedSet());
      appendDebugIndexInformation(debugBuffer, indexNameOut.toString());
    }
  }