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

boli
27.58.2007 ffb9044301d1c169f934e0adf4f473e99da39a47
opends/src/server/org/opends/server/backends/jeb/BufferedIndex.java
@@ -142,14 +142,15 @@
    {
      if (entryLimit > 0 && entryIDList.size() >= entryLimit)
      {
        bufferedValue.value = new EntryIDSet();
        entryIDList = new EntryIDSet(entryIDList.size());
        entryIDList.add(entryID);
        bufferedValue.value = entryIDList;
        bufferedValue.isDirty = true;
        return;
      }
      else
      {
        bufferedValue.isDirty = entryIDList.add(entryID);
      }
    }
    bufferedValue.isDirty = entryIDList.add(entryID);
  }
  /**