diff options
| author | Jason Carey <jcarey@argv.me> | 2015-11-11 22:42:38 -0500 |
|---|---|---|
| committer | Jason Carey <jcarey@argv.me> | 2015-11-13 14:55:56 -0500 |
| commit | 823af47a95317a13347054d7c3fbc9fef5450de9 (patch) | |
| tree | 8806153f08a8eb045e404df3321da3e45511be4c /src/mongo/scripting/engine.h | |
| parent | e4fdc58d0845b5393f5805815bbf5d735eacad85 (diff) | |
| download | mongo-823af47a95317a13347054d7c3fbc9fef5450de9.tar.gz | |
SERVER-21429 Add on/off flag for Javascript JIT
Adding a setParameter and a shell flag called disableJavaScriptJIT which
can be used to disable the js jit if desired.
Diffstat (limited to 'src/mongo/scripting/engine.h')
| -rw-r--r-- | src/mongo/scripting/engine.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/mongo/scripting/engine.h b/src/mongo/scripting/engine.h index 15c80c0da4e..dcceb9c07ff 100644 --- a/src/mongo/scripting/engine.h +++ b/src/mongo/scripting/engine.h @@ -245,6 +245,9 @@ public: virtual bool utf8Ok() const = 0; + virtual void enableJIT(bool value) = 0; + virtual bool isJITEnabled() const = 0; + static void setup(); static void dropScopeCache(); |