diff options
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(); } |