summaryrefslogtreecommitdiff
path: root/src/mongo/scripting/engine_v8.cpp
diff options
context:
space:
mode:
authorBen Becker <ben.becker@10gen.com>2013-01-06 13:08:47 -0800
committerBen Becker <ben.becker@10gen.com>2013-01-06 13:08:47 -0800
commit09679f6b9bfbddd3f9dd092433a16c29765f2fc8 (patch)
treeffe4650d668952fb954ab3aebb015355a7e8e0e6 /src/mongo/scripting/engine_v8.cpp
parent28fcd53854a3aeec10cb7fad65ee782034dae15d (diff)
downloadmongo-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.cpp5
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)
*/