diff options
author | Alex Gorrod <alexander.gorrod@mongodb.com> | 2015-02-05 10:41:55 +1100 |
---|---|---|
committer | Alex Gorrod <alexander.gorrod@mongodb.com> | 2015-02-05 10:41:55 +1100 |
commit | fe9371bd94e62dd6d63b9493bc293029f72ad21d (patch) | |
tree | 0fd702b9f6f84756f6742973a710e5df3bb3664a /tools | |
parent | 967a4c6c8f0ca08ae0f628dc900527c26c589f28 (diff) | |
parent | f7e656b885a0ebdc1fab501bdc3fa4ef1d17b490 (diff) | |
download | mongo-fe9371bd94e62dd6d63b9493bc293029f72ad21d.tar.gz |
Merge pull request #1632 from wiredtiger/avoid-extra-pass-in-skip
Don't do a pass over the page index looking for deleted entries unless we found some in our initial pass.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions