From 091c38c8b87d3276dd8b13e7425693493ea29cea Mon Sep 17 00:00:00 2001
From: Gregory Noma <gregory.noma@gmail.com>
Date: Tue, 14 Apr 2020 16:33:28 -0400
Subject: SERVER-47324 Skip dassert when index commands from non-internal
 clients abort migrations

---
 src/mongo/db/s/migration_source_manager.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/mongo/db/s/migration_source_manager.h')

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
-- 
cgit v1.2.1