summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJack Mulrow <jack.mulrow@mongodb.com>2018-07-31 18:36:53 -0400
committerJack Mulrow <jack.mulrow@mongodb.com>2018-07-31 23:00:13 -0400
commit19523a841554dd16580afa3059acd58bee0ecb9e (patch)
treed87854eaeffd946b781a5d48d88c070a729bfc4f
parent428868a14b3017b9b97325be4290f7b70b7396f9 (diff)
downloadmongo-19523a841554dd16580afa3059acd58bee0ecb9e.tar.gz
SERVER-35663 Remove clusterTime >= operationTime invariant
(cherry picked from commit bc67f3ea909bc1c13d46aa439f44cb88cbf67374)
-rw-r--r--src/mongo/db/service_entry_point_mongod.cpp4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/mongo/db/service_entry_point_mongod.cpp b/src/mongo/db/service_entry_point_mongod.cpp
index 8d2fae719e7..8886bfb018f 100644
--- a/src/mongo/db/service_entry_point_mongod.cpp
+++ b/src/mongo/db/service_entry_point_mongod.cpp
@@ -387,7 +387,7 @@ void appendClusterAndOperationTime(OperationContext* opCtx,
auto signedTime = SignedLogicalTime(
LogicalClock::get(opCtx)->getClusterTime(), TimeProofService::TimeProof(), 0);
- invariant(signedTime.getTime() >= operationTime);
+ // TODO SERVER-35663: invariant that signedTime.getTime() >= operationTime.
rpc::LogicalTimeMetadata(signedTime).writeToMetadata(metadataBob);
operationTime.appendAsOperationTime(commandBodyFieldsBob);
@@ -409,7 +409,7 @@ void appendClusterAndOperationTime(OperationContext* opCtx,
return;
}
- invariant(signedTime.getTime() >= operationTime);
+ // TODO SERVER-35663: invariant that signedTime.getTime() >= operationTime.
rpc::LogicalTimeMetadata(signedTime).writeToMetadata(metadataBob);
operationTime.appendAsOperationTime(commandBodyFieldsBob);
}