diff options
-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 e4fa3c30069..6f94d2a0f11 100644 --- a/src/mongo/db/global_environment_d.cpp +++ b/src/mongo/db/global_environment_d.cpp @@ -241,7 +241,10 @@ namespace mongo { bool found = _killOperationsAssociatedWithClientAndOpId_inlock( client, client->curop()->opNum()); - invariant(found); + if (!found) { + warning() << "Attempted to kill operation " << client->curop()->opNum() + << " but the opId changed"; + } } } |