diff options
Diffstat (limited to 'debian/patches/quieter-signals.patch')
-rw-r--r-- | debian/patches/quieter-signals.patch | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/debian/patches/quieter-signals.patch b/debian/patches/quieter-signals.patch new file mode 100644 index 000000000..bf36b5498 --- /dev/null +++ b/debian/patches/quieter-signals.patch | |||
@@ -0,0 +1,17 @@ | |||
1 | Index: b/clientloop.c | ||
2 | =================================================================== | ||
3 | --- a/clientloop.c | ||
4 | +++ b/clientloop.c | ||
5 | @@ -1526,8 +1526,10 @@ | ||
6 | exit_status = 0; | ||
7 | } | ||
8 | |||
9 | - if (received_signal) | ||
10 | - fatal("Killed by signal %d.", (int) received_signal); | ||
11 | + if (received_signal) { | ||
12 | + debug("Killed by signal %d.", (int) received_signal); | ||
13 | + cleanup_exit((int) received_signal + 128); | ||
14 | + } | ||
15 | |||
16 | /* | ||
17 | * In interactive mode (with pseudo tty) display a message indicating | ||