diff options
| author | Lingzhi Deng <lingzhi.deng@mongodb.com> | 2020-08-10 19:50:05 -0400 |
|---|---|---|
| committer | Evergreen Agent <no-reply@evergreen.mongodb.com> | 2020-08-13 16:17:50 +0000 |
| commit | 9b68f8ceab4752337688b8feebf23976094bac0f (patch) | |
| tree | 107fd4e4a01feb66ed1840ae32444797fa4cdf6a /src/mongo/embedded/embedded_options.idl | |
| parent | 2576c39c36e49be0ab70471967193275eab6bc4c (diff) | |
| download | mongo-9b68f8ceab4752337688b8feebf23976094bac0f.tar.gz | |
SERVER-50140: Initial sync cannot survive unclean restart of the sync source
(cherry picked from commit 06169f718a7aec04f952979ffa6590e4334dea5a)
(cherry picked from commit d598744856190df68f36c3f7a88decd30fa8e912)
Diffstat (limited to 'src/mongo/embedded/embedded_options.idl')
0 files changed, 0 insertions, 0 deletions