diff options
Diffstat (limited to 'src/mongo/db/global_environment_d.cpp')
| -rw-r--r-- | src/mongo/db/global_environment_d.cpp | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/mongo/db/global_environment_d.cpp b/src/mongo/db/global_environment_d.cpp index a4acd47744b..b65288767a7 100644 --- a/src/mongo/db/global_environment_d.cpp +++ b/src/mongo/db/global_environment_d.cpp @@ -234,7 +234,10 @@ void GlobalEnvironmentMongoD::killAllUserOperations(const OperationContext* txn) bool found = _killOperationsAssociatedWithClientAndOpId_inlock(client, client->curop()->opNum()); - invariant(found); + if (!found) { + warning() << "Attempted to kill operation " << client->curop()->opNum() + << " but the opId changed"; + } } } |