[SERVER-17700] Rename RocksDB to rocksdb storage engine Created: 23/Mar/15 Updated: 19/Sep/15 Resolved: 23/Mar/15 |
|
| Status: | Closed |
| Project: | Core Server |
| Component/s: | Storage |
| Affects Version/s: | None |
| Fix Version/s: | 3.1.1 |
| Type: | Improvement | Priority: | Major - P3 |
| Reporter: | Igor Canadi | Assignee: | Ramon Fernandez Marina |
| Resolution: | Done | Votes: | 0 |
| Labels: | None | ||
| Remaining Estimate: | Not Specified | ||
| Time Spent: | Not Specified | ||
| Original Estimate: | Not Specified | ||
| Backwards Compatibility: | Minor Change |
| Participants: |
| Description |
|
We decided to have our storage engine consistently named across configuration options, so we're changing the name from RocksDB to rocksdb (all lowercase) |
| Comments |
| Comment by Igor Canadi [ 23/Mar/15 ] |
|
Thanks for the fast merge. I missed one spot in sharding/top_chunk_autosplit.js, see the patch here: https://github.com/mongodb-partners/mongo/tree/renamerocksdb |
| Comment by Githook User [ 23/Mar/15 ] |
|
Author: {u'username': u'igorcanadi', u'name': u'Igor Canadi', u'email': u'icanadi@fb.com'}Message: Signed-off-by: Ramon Fernandez <ramon.fernandez@mongodb.com> |
| Comment by Igor Canadi [ 23/Mar/15 ] |
|
The patch is here: https://github.com/mongodb-partners/mongo/tree/renamerocksdb I would appreciate fast merge, since our build will be broken until then: https://mci.10gen.com/#/filter/RocksDB/ |