[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: SERVER-17700 rename RocksDB to rocksdb

Signed-off-by: Ramon Fernandez <ramon.fernandez@mongodb.com>
Branch: master
https://github.com/mongodb/mongo/commit/240d693c8f3e60acbe6722024cf2110a3660eea1

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/

Generated at Thu Feb 08 03:45:19 UTC 2024 using Jira 9.7.1#970001-sha1:2222b88b221c4928ef0de3161136cc90c8356a66.