diff options
| -rw-r--r-- | src/port/exec.c | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/port/exec.c b/src/port/exec.c index 47c1f15b40b..26294cdf4a2 100644 --- a/src/port/exec.c +++ b/src/port/exec.c @@ -9,7 +9,7 @@ * * * IDENTIFICATION - * $PostgreSQL: pgsql/src/port/exec.c,v 1.52 2007/01/28 06:32:02 tgl Exp $ + * $PostgreSQL: pgsql/src/port/exec.c,v 1.53 2007/01/28 07:29:32 tgl Exp $ * *------------------------------------------------------------------------- */ @@ -587,10 +587,9 @@ pclose_check(FILE *stream) log_error(_("child process was terminated by exception 0x%X"), WTERMSIG(exitstatus)); #elif defined(HAVE_DECL_SYS_SIGLIST) && HAVE_DECL_SYS_SIGLIST - log_error(_("child process was terminated by signal %s (%d)"), + log_error(_("child process was terminated by signal %s"), WTERMSIG(exitstatus) < NSIG ? - sys_siglist[WTERMSIG(exitstatus)] : "(unknown)", - WTERMSIG(exitstatus)); + sys_siglist[WTERMSIG(exitstatus)] : "(unknown)"); #else log_error(_("child process was terminated by signal %d"), WTERMSIG(exitstatus)); |