Bugfix: Use setsid() to avoid SIGINT for child processes

diff --git a/src/util.c b/src/util.c
index 75203cfbfa2be1beb308e927e8d9f7296d030072..673bdb26d434bb75a05b2f5b617c9a5c5308e43e 100644 (file)
--- a/src/util.c
+++ b/src/util.c
@@ -99,6 +99,7 @@ void start_application(const char *command) {
         LOG("executing: %s\n", command);
         if (fork() == 0) {
                 /* Child process */
+                setsid();
                 if (fork() == 0) {
                         /* Stores the path of the shell */
                         static const char *shell = NULL;