diff options
author | Ben Becker <ben.becker@10gen.com> | 2013-01-06 13:08:47 -0800 |
---|---|---|
committer | Ben Becker <ben.becker@10gen.com> | 2013-01-06 13:08:47 -0800 |
commit | 09679f6b9bfbddd3f9dd092433a16c29765f2fc8 (patch) | |
tree | ffe4650d668952fb954ab3aebb015355a7e8e0e6 /src/mongo/scripting/engine_v8.cpp | |
parent | 28fcd53854a3aeec10cb7fad65ee782034dae15d (diff) | |
download | mongo-09679f6b9bfbddd3f9dd092433a16c29765f2fc8.tar.gz |
SERVER-8040: don't execute more js when a scope is terminated
Diffstat (limited to 'src/mongo/scripting/engine_v8.cpp')
-rw-r--r-- | src/mongo/scripting/engine_v8.cpp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/mongo/scripting/engine_v8.cpp b/src/mongo/scripting/engine_v8.cpp index 79e362eca7f..be321ba4893 100644 --- a/src/mongo/scripting/engine_v8.cpp +++ b/src/mongo/scripting/engine_v8.cpp @@ -403,6 +403,11 @@ namespace mongo { _pendingKill = true; } + /** check if there is a pending killOp request */ + bool V8Scope::isKillPending() const { + return _pendingKill || _engine->interrupted(); + } + /** * Display a list of all known ops (for verbose output) */ |