diff options
| author | Doug Evans <dje@google.com> | 2010-05-25 16:00:09 +0000 |
|---|---|---|
| committer | Doug Evans <dje@google.com> | 2010-05-25 16:00:09 +0000 |
| commit | e34838f0f74e1fdb249bcdd822136c98375e4f4b (patch) | |
| tree | 34b21f0b52d6a6db008b7c1684a9485e37d302de /gdb | |
| parent | 01f69b386b461447a7135401002856d67103418d (diff) | |
* ser-pipe.c (pipe_open): Ignore SIGINTs in child.
Diffstat (limited to 'gdb')
| -rw-r--r-- | gdb/ChangeLog | 2 | ||||
| -rw-r--r-- | gdb/ser-pipe.c | 9 |
2 files changed, 11 insertions, 0 deletions
diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 8dac10a7e1..8690bc6073 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,5 +1,7 @@ 2010-05-25 Doug Evans <dje@google.com> + * ser-pipe.c (pipe_open): Ignore SIGINTs in child. + * event-loop.h (GDB_READABLE, GDB_WRITABLE, GDB_EXCEPTION): Move to ... * event-loop.c: ... here. * tui/tui-io.c (tui_readline_output): Rename parameter `code' to diff --git a/gdb/ser-pipe.c b/gdb/ser-pipe.c index 92ad3d91fd..07fe65b14e 100644 --- a/gdb/ser-pipe.c +++ b/gdb/ser-pipe.c @@ -99,6 +99,15 @@ pipe_open (struct serial *scb, const char *name) /* Child. */ if (pid == 0) { + /* We don't want ^c to kill the connection. */ +#ifdef HAVE_SETSID + pid_t sid = setsid (); + if (sid == -1) + signal (SIGINT, SIG_IGN); +#else + signal (SIGINT, SIG_IGN); +#endif + /* re-wire pdes[1] to stdin/stdout */ close (pdes[0]); if (pdes[1] != STDOUT_FILENO) |