diff options
| author | Alex Gorrod <alexander.gorrod@mongodb.com> | 2015-10-29 12:06:03 +1100 |
|---|---|---|
| committer | Alex Gorrod <alexg@wiredtiger.com> | 2015-11-24 05:05:16 +0000 |
| commit | 00dfebc9b099a80c0ce8bbe69ef97168eda23bfd (patch) | |
| tree | fc791b548b7d29f6e51cd0bee0572568fede4681 /dist | |
| parent | cb642366f168caadd56bed3c257e4d3e4c5cc4f0 (diff) | |
| download | mongo-00dfebc9b099a80c0ce8bbe69ef97168eda23bfd.tar.gz | |
Merge pull request #2260 from wiredtiger/reverse-splits
SERVER-21027 Reverse split if there are many deleted pages
(cherry picked from commit 35d46c3)
Conflicts:
src/btree/bt_delete.c
src/btree/bt_read.c
src/evict/evict_page.c
Diffstat (limited to 'dist')
| -rw-r--r-- | dist/flags.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dist/flags.py b/dist/flags.py index 394154fcb75..bdd4bf45b6f 100644 --- a/dist/flags.py +++ b/dist/flags.py @@ -36,6 +36,7 @@ flags = { 'page_read' : [ 'READ_CACHE', 'READ_COMPACT', + 'READ_NO_EMPTY', 'READ_NO_EVICT', 'READ_NO_GEN', 'READ_NO_WAIT', |