commit a33ff2c82819a30afed91d74feb9a7fde3ed9860
parent 528abc91366f02422c1442ce27cbd2ba43b71a7c
Author: Michael Forney <mforney@mforney.org>
Date: Wed, 24 Dec 2014 12:41:46 -0800
launch: Kill child when swc-launch dies
Diffstat:
1 file changed, 2 insertions(+), 0 deletions(-)
diff --git a/launch/launch.c b/launch/launch.c
@@ -136,6 +136,8 @@ static void cleanup()
* DRM device before the next session tries to claim it. */
stop_devices(false);
ioctl(launcher.tty_fd, VT_ACTIVATE, original_vt_state.vt);
+
+ kill(child_pid, SIGTERM);
}
void __attribute__((noreturn,format(printf,1,2)))