diff options
| author | Henrik Edin <henrik.edin@mongodb.com> | 2018-01-29 12:28:22 -0500 |
|---|---|---|
| committer | Henrik Edin <henrik.edin@mongodb.com> | 2018-02-14 02:14:33 -0500 |
| commit | 8dc33796371e1226bc2a53481e80cf0fd8142371 (patch) | |
| tree | 5cc0a9a53829f11c284ee6440be48ec72a67b87f /src/mongo/db/s/config/configsvr_move_primary_command.cpp | |
| parent | 2dc87c711cb0bf85fdc8dd1d65b5a83e144509fa (diff) | |
| download | mongo-8dc33796371e1226bc2a53481e80cf0fd8142371.tar.gz | |
SERVER-32951 Add lib for embedded options where we can have a different set of startup options. Also reduce dependencies on embedded.
Diffstat (limited to 'src/mongo/db/s/config/configsvr_move_primary_command.cpp')
0 files changed, 0 insertions, 0 deletions