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

boli
27.22.2008 24d7fab5d25b8988b3aeb03e0645707f93d1415b
opends/src/server/org/opends/server/backends/jeb/EntryIDSet.java
@@ -510,7 +510,7 @@
    if (!this.isDefined())
    {
      // Assume there are no overlap between IDs in that set with this set
      if(undefinedSize != Long.MAX_VALUE && that.size() > 0)
      if(undefinedSize != Long.MAX_VALUE)
      {
        undefinedSize += that.size();
      }
@@ -616,12 +616,10 @@
    if (!this.isDefined())
    {
      // Can't simply subtract the undefined size of this set to that set since
      // we don't know if there are any duplicates. In this case, we can't
      // maintain the undefined size anymore.
      if(undefinedSize != Long.MAX_VALUE && that.size() > 0)
      // Assume all IDs in the given set exists in this set.
      if(undefinedSize != Long.MAX_VALUE)
      {
        undefinedSize = Long.MAX_VALUE;
        undefinedSize -= that.size();
      }
      return;
    }