diff options
author | Daniel Silverstone <dsilvers@digital-scurf.org> | 2012-08-03 21:16:00 +0100 |
---|---|---|
committer | Daniel Silverstone <dsilvers@digital-scurf.org> | 2012-08-03 21:16:00 +0100 |
commit | bfbad391533d99e072fde43c774d60c1d9f80f8e (patch) | |
tree | edf1486f47c23d9d31c06e90885a74fa9ccfaedf /lib/supple/host.lua | |
parent | a3c6ff07cad67ec5e9d0899002710cdd73d6915f (diff) | |
download | supple-bfbad391533d99e072fde43c774d60c1d9f80f8e.tar.gz |
SUPPLE: Ensure clean_down happens on both ends
Diffstat (limited to 'lib/supple/host.lua')
-rw-r--r-- | lib/supple/host.lua | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/supple/host.lua b/lib/supple/host.lua index 1226d19..a828046 100644 --- a/lib/supple/host.lua +++ b/lib/supple/host.lua @@ -63,7 +63,9 @@ local function run_sandbox(codestr, codename, ...) -- We need to clean up, so dump all the objects func = nil - objects.clean_down() + err = nil + -- And ask the supple API to clear down too + objects.clean_down(true) comms._set_fd(-1) luxio.kill(child.pid, luxio.SIGKILL) |