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

Fabio Pistolesi
29.07.2015 a315e2ea3ea3cefc163a1c51af3a48aad388b428
opendj-server-legacy/src/main/java/org/opends/server/backends/pluggable/BackendStat.java
@@ -1305,7 +1305,6 @@
            ByteString key;
            ByteString maxKey = null;
            ByteString value;
            boolean maxKeyReached;
            if (options.get(DUMP_MIN_KEY_VALUE).isPresent())
            {
@@ -1331,7 +1330,10 @@
            do
            {
              key = cursor.getKey();
              maxKeyReached = key.equals(maxKey);
              if (maxKey != null && key.compareTo(maxKey) > 0)
              {
                break;
              }
              value = cursor.getValue();
              long valueLen = value.length();
              if (options.get(DUMP_MIN_DATA_SIZE) <= valueLen && valueLen <= options.get(DUMP_MAX_DATA_SIZE))
@@ -1356,7 +1358,7 @@
                }
              }
            }
            while (cursor.next() && !maxKeyReached);
            while (cursor.next());
          }
          catch (Exception e)
          {