diff options
| author | Franck Bui <fbui@suse.com> | 2016-12-17 15:49:17 +0100 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2016-12-17 09:49:17 -0500 |
| commit | 3e7bc89b8fdd786ab0188f654c38ad8c199a52be (patch) | |
| tree | e207a9779e8501573d0a3591c6c8e4ce055d5063 /man | |
| parent | ebc8968bc0b6fc460099041f5ae1262ca17eeb6e (diff) | |
coredumpctl: let gdb handle the SIGINT signal (#4901)
Even if pressing Ctrl-c after spawning gdb with "coredumpctl gdb" is not really
useful, we should let gdb handle the signal entirely otherwise the user can be
suprised to see a different behavior when gdb is started by coredumpctl vs when
it's started directly.
Indeed in the former case, gdb exits due to coredumpctl being killed by the
signal.
So this patch makes coredumpctl ignore SIGINT as long as gdb is running.
Diffstat (limited to 'man')
0 files changed, 0 insertions, 0 deletions