From 9f5cd9d021c4145bff0acbc04cf0b2af9ae60c92 Mon Sep 17 00:00:00 2001 From: NiLuJe Date: Wed, 3 Oct 2012 01:23:34 +0200 Subject: [PATCH] Actually, no that's wrong, it's not the parent process, it's a fork. --- input.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/input.c b/input.c index 7f79d1986..d781c5b10 100644 --- a/input.c +++ b/input.c @@ -190,7 +190,7 @@ static int closeInputDevices(lua_State *L) { } if(slider_pid != -1) { /* kill and wait for child process */ - kill(slider_pid, SIGTERM); // We could kill -slider_pid (note the minus) to kill the whole process group, but we trap SIGTERM to handle things nicely + kill(slider_pid, SIGTERM); waitpid(-1, NULL, 0); } return 0;