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

Jean-Noël Rouvignac
28.10.2015 07e7cb84f497a907074b5ca46f3147f65488d6ed
opendj-server-legacy/src/main/java/org/opends/server/backends/pluggable/EntryIDSet.java
@@ -480,12 +480,12 @@
      {
        for (long value : idSet.getIDs())
        {
          builder.append(value);
          builder.appendLong(value);
        }
        return builder;
      }
      // Set top bit.
      return builder.append((byte) 0x80);
      return builder.appendByte(0x80);
    }
  }
@@ -537,7 +537,7 @@
      }
      else
      {
        builder.append(UNDEFINED_SET);
        builder.appendByte(UNDEFINED_SET);
      }
      return builder;
    }