update

[l4.git] / l4 / pkg / ned / server / src / lua_exec.cc

diff --git a/l4/pkg/ned/server/src/lua_exec.cc b/l4/pkg/ned/server/src/lua_exec.cc
index 1622f33d3d7573b168fdb49d986238914aeabb36..ea2d00728baceb36d7fa39f5823a203c9d3219e6 100644 (file)
--- a/l4/pkg/ned/server/src/lua_exec.cc
+++ b/l4/pkg/ned/server/src/lua_exec.cc
@@ -324,6 +324,30 @@ static int __task_wait(lua_State *l)
   return 1;
 }
 
+static int __task_kill(lua_State *l)
+{
+  App_ptr &t = check_at(l, 1);
+
+  if (!t)
+    {
+      lua_pushnil(l);
+      return 1;
+    }
+
+  if (t->state() == App_task::Zombie)
+    {
+      lua_pushinteger(l, t->exit_code());
+      t = 0; // zap task
+      return 1;
+    }
+
+  t->terminate();
+  t = 0; // kill task
+  lua_pushstring(l, "killed");
+
+  return 1;
+}
+
 static int __task_gc(lua_State *l)
 {
   App_ptr &t = check_at(l, 1);
@@ -359,6 +383,7 @@ static const luaL_Reg _task_ops[] = {
     { "state", __task_state },
     { "exit_code", __task_exit_code },
     { "wait", __task_wait },
+    { "kill", __task_kill },
     { NULL, NULL }
 };