Merge src/leveldb changes for LevelDB 1.17.

2014-05-09 18:23:34 +02:00
parent 605d5b5558 938b689846
commit aca47d2a24
9 changed files with 60 additions and 43 deletions
--- a/src/leveldb/db/repair.cc
+++ b/src/leveldb/db/repair.cc
@@ -242,7 +242,6 @@ class Repairer {
  }

  void ExtractMetaData() {
-    std::vector<TableInfo> kept;
    for (size_t i = 0; i < table_numbers_.size(); i++) {
      ScanTable(table_numbers_[i]);
    }