diff options
author | Henrik Edin <henrik.edin@mongodb.com> | 2018-02-27 11:28:53 -0500 |
---|---|---|
committer | Henrik Edin <henrik.edin@mongodb.com> | 2018-03-02 09:58:48 -0500 |
commit | 7d37a75df3f6035a7afcb51123b88f0e99308fc8 (patch) | |
tree | 2f2a0b3f835ca14830208a3f894dd4e04a7e8cd0 /src/mongo/db/log_process_details.cpp | |
parent | 0b8094a34b9458ad46cf05cf67015d83725934b7 (diff) | |
download | mongo-7d37a75df3f6035a7afcb51123b88f0e99308fc8.tar.gz |
SERVER-29519 Remove getGlobalReplicationCoordinator. Replace when getting decoration through service context (global if needed).
Diffstat (limited to 'src/mongo/db/log_process_details.cpp')
-rw-r--r-- | src/mongo/db/log_process_details.cpp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/mongo/db/log_process_details.cpp b/src/mongo/db/log_process_details.cpp index 681db42d7e1..d12b0ebce29 100644 --- a/src/mongo/db/log_process_details.cpp +++ b/src/mongo/db/log_process_details.cpp @@ -36,7 +36,6 @@ #include "mongo/db/repl/repl_set_config.h" #include "mongo/db/repl/replication_coordinator.h" -#include "mongo/db/repl/replication_coordinator_global.h" #include "mongo/db/server_options.h" #include "mongo/db/server_options_helpers.h" #include "mongo/util/log.h" |