diff options
author | Billy Donahue <billy.donahue@mongodb.com> | 2019-10-03 19:57:40 +0000 |
---|---|---|
committer | evergreen <evergreen@mongodb.com> | 2019-10-03 19:57:40 +0000 |
commit | 8ccaacce937ae51deef27c41e977aca0511fb338 (patch) | |
tree | 0c29028123f23dc66aef660f05549dd0ebe109b2 /src/mongo/db/server_options_helpers.cpp | |
parent | 4d9a6a2ae4b6ad9b93d3c389e6d92d6acfe86cf3 (diff) | |
download | mongo-8ccaacce937ae51deef27c41e977aca0511fb338.tar.gz |
SERVER-43317 merge failpoint headers. Rewrite docs.
iterate docs
Diffstat (limited to 'src/mongo/db/server_options_helpers.cpp')
-rw-r--r-- | src/mongo/db/server_options_helpers.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/mongo/db/server_options_helpers.cpp b/src/mongo/db/server_options_helpers.cpp index a9d4badc2c6..9ff88f5c9ef 100644 --- a/src/mongo/db/server_options_helpers.cpp +++ b/src/mongo/db/server_options_helpers.cpp @@ -51,7 +51,7 @@ #include "mongo/logger/message_event_utf8_encoder.h" #include "mongo/transport/message_compressor_registry.h" #include "mongo/util/cmdline_utils/censor_cmdline.h" -#include "mongo/util/fail_point_service.h" +#include "mongo/util/fail_point.h" #include "mongo/util/log.h" #include "mongo/util/map_util.h" #include "mongo/util/net/sock.h" |