diff options
| -rw-r--r-- | src/process.c | 13 |
1 files changed, 1 insertions, 12 deletions
diff --git a/src/process.c b/src/process.c index fec6fdb2660..83f6df2d237 100644 --- a/src/process.c +++ b/src/process.c @@ -6212,18 +6212,7 @@ sigchld_handler (signo) if (WIFEXITED (w)) synch_process_retcode = WRETCODE (w); else if (WIFSIGNALED (w)) - { - int code = WTERMSIG (w); - char *signame; - - synchronize_system_messages_locale (); - signame = strsignal (code); - - if (signame == 0) - signame = "unknown"; - - synch_process_death = signame; - } + synch_process_termsig = WTERMSIG (w); /* Tell wait_reading_process_input that it needs to wake up and look around. */ |