summaryrefslogtreecommitdiff
path: root/src/mongo/db/free_mon
diff options
context:
space:
mode:
authorKevin Pulo <kevin.pulo@mongodb.com>2020-05-01 15:53:38 +1000
committerEvergreen Agent <no-reply@evergreen.mongodb.com>2020-05-04 03:35:44 +0000
commite39ec9be74984c60337db640269219c7433abbc2 (patch)
tree20540ede600819b87ec128811a46566b1884f8d6 /src/mongo/db/free_mon
parentc6121c48d38446eb9951b81c29bfe921d0e1a0be (diff)
downloadmongo-e39ec9be74984c60337db640269219c7433abbc2.tar.gz
SERVER-47870 Push updated majority commit point values on config servers into configOpTime
Diffstat (limited to 'src/mongo/db/free_mon')
-rw-r--r--src/mongo/db/free_mon/free_mon_op_observer.h3
1 files changed, 3 insertions, 0 deletions
diff --git a/src/mongo/db/free_mon/free_mon_op_observer.h b/src/mongo/db/free_mon/free_mon_op_observer.h
index 4408d1d76ac..30642076e7e 100644
--- a/src/mongo/db/free_mon/free_mon_op_observer.h
+++ b/src/mongo/db/free_mon/free_mon_op_observer.h
@@ -179,6 +179,9 @@ public:
boost::optional<OplogSlot> abortOplogEntryOpTime) final {}
void onReplicationRollback(OperationContext* opCtx, const RollbackObserverInfo& rbInfo);
+
+ void onMajorityCommitPointUpdate(ServiceContext* service,
+ const repl::OpTime& newCommitPoint) final {}
};
} // namespace mongo