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.cpp | |
parent | 4a167b9f823da4ed89735c8846a4348cf085bfb3 (diff) | |
download | mongo-ae8f7d8160aef246ea4c31169d42865fc55e98c3.tar.gz |
SERVER-35061: Javascript sleep should error on premature wake
Diffstat (limited to 'src/mongo/scripting/engine.cpp')
-rw-r--r-- | src/mongo/scripting/engine.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/mongo/scripting/engine.cpp b/src/mongo/scripting/engine.cpp index e22192fe983..31784ad50a0 100644 --- a/src/mongo/scripting/engine.cpp +++ b/src/mongo/scripting/engine.cpp @@ -440,6 +440,9 @@ public: void requireOwnedObjects() override { _real->requireOwnedObjects(); } + void kill() { + _real->kill(); + } bool isKillPending() const { return _real->isKillPending(); } |