diff options
author | Gregory Noma <gregory.noma@gmail.com> | 2020-04-14 16:33:28 -0400 |
---|---|---|
committer | Evergreen Agent <no-reply@evergreen.mongodb.com> | 2020-04-14 20:46:13 +0000 |
commit | 091c38c8b87d3276dd8b13e7425693493ea29cea (patch) | |
tree | b36a37a50c42ac9fb2abefc5192bda898d39e122 /src/mongo/db/s/migration_source_manager.h | |
parent | 17e551b4393f606d308ab5c9fe555627498b0f3d (diff) | |
download | mongo-091c38c8b87d3276dd8b13e7425693493ea29cea.tar.gz |
SERVER-47324 Skip dassert when index commands from non-internal clients abort migrations
Diffstat (limited to 'src/mongo/db/s/migration_source_manager.h')
-rw-r--r-- | src/mongo/db/s/migration_source_manager.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/mongo/db/s/migration_source_manager.h b/src/mongo/db/s/migration_source_manager.h index 6e537bc53ef..923b1d8876e 100644 --- a/src/mongo/db/s/migration_source_manager.h +++ b/src/mongo/db/s/migration_source_manager.h @@ -168,7 +168,7 @@ public: * Aborts the migration after observing a concurrent index operation by marking its operation * context as killed. */ - void abortDueToConflictingIndexOperation(); + void abortDueToConflictingIndexOperation(OperationContext* opCtx); /** * Returns the cloner which is being used for this migration. This value is available only if |