diff options
| author | Spencer Jackson <spencer.jackson@mongodb.com> | 2018-05-11 17:42:34 -0400 |
|---|---|---|
| committer | Spencer Jackson <spencer.jackson@mongodb.com> | 2018-05-23 11:10:11 -0400 |
| commit | ae8f7d8160aef246ea4c31169d42865fc55e98c3 (patch) | |
| tree | 39a38343ffbd5ee4537beca57aab0cf664f258a1 /src/mongo/scripting/engine.h | |
| parent | 4a167b9f823da4ed89735c8846a4348cf085bfb3 (diff) | |
| download | mongo-ae8f7d8160aef246ea4c31169d42865fc55e98c3.tar.gz | |
SERVER-35061: Javascript sleep should error on premature wake
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 0792c95eb7d..2ed64157e01 100644 --- a/src/mongo/scripting/engine.h +++ b/src/mongo/scripting/engine.h @@ -96,6 +96,8 @@ public: virtual bool hasOutOfMemoryException() = 0; + virtual void kill() = 0; + virtual bool isKillPending() const = 0; virtual void gc() = 0; |