From ab8400fff9f15da1707c1c57d575713af1427e9e Mon Sep 17 00:00:00 2001
From: Michael Stapelberg <michael@stapelberg.de>
Date: Sun, 28 Nov 2010 14:03:43 +0100
Subject: [PATCH] Bugfix: Use setsid() to avoid SIGINT for child processes

---
 src/util.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/util.c b/src/util.c
index 75203cfb..673bdb26 100644
--- 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;