tree 6a1712798e5cc172b79e1113d9c1a0fc93496fa7
parent 5bd76dc10d840df23255ba0e635083a2a94e0461
author David Grogan <dgrogan@chromium.org> 1377108767 -0700
committer David Grogan <dgrogan@chromium.org> 1377108767 -0700

LevelDB 1.13

Fix issues 77, 87, 182, 190.

Additionally, fix the bug described in
https://groups.google.com/d/msg/leveldb/yL6h1mAOc20/vLU64RylIdMJ
where a large contiguous keyspace of deleted data was not getting
compacted.

Also fix a bug where options.max_open_files was not getting clamped
properly.