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.h | |
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.h')
-rw-r--r-- | src/mongo/scripting/engine.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/mongo/scripting/engine.h b/src/mongo/scripting/engine.h index 200c78f13d3..269e1c40a30 100644 --- a/src/mongo/scripting/engine.h +++ b/src/mongo/scripting/engine.h @@ -73,6 +73,8 @@ namespace mongo { virtual bool hasOutOfMemoryException() = 0; + virtual bool isKillPending() const = 0; + virtual void gc() = 0; virtual ScriptingFunction createFunction(const char* code); |