summaryrefslogtreecommitdiff
path: root/src/mongo/db/s/migration_source_manager.h
diff options
context:
space:
mode:
authorGregory Noma <gregory.noma@gmail.com>2020-04-14 16:33:28 -0400
committerEvergreen Agent <no-reply@evergreen.mongodb.com>2020-04-14 20:46:13 +0000
commit091c38c8b87d3276dd8b13e7425693493ea29cea (patch)
treeb36a37a50c42ac9fb2abefc5192bda898d39e122 /src/mongo/db/s/migration_source_manager.h
parent17e551b4393f606d308ab5c9fe555627498b0f3d (diff)
downloadmongo-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.h2
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