Add lua_async.kill_thread

diff --git a/util.lua b/util.lua
index b5c70436806a2d1cccc2af6af0c2bc404acd7ef4..852b933e85d4760ebf04f04eff1eb4d66b0b39af 100644 (file)
--- a/util.lua
+++ b/util.lua
@@ -6,6 +6,10 @@ function lua_async.yield()
        coroutine.yield()
 end
 
+function lua_async.kill_thread()
+       coroutine.yield(true)
+end
+
 function lua_async.sleep(ms)
        await(Promise(function(resolve)
                setTimeout(resolve, ms)