diff options
Diffstat (limited to 'src/port/exec.c')
| -rw-r--r-- | src/port/exec.c | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/port/exec.c b/src/port/exec.c index a8bd398460..4d54ed0e58 100644 --- a/src/port/exec.c +++ b/src/port/exec.c @@ -9,7 +9,7 @@ * * * IDENTIFICATION - * $PostgreSQL: pgsql/src/port/exec.c,v 1.44 2007/01/05 22:20:02 momjian Exp $ + * $PostgreSQL: pgsql/src/port/exec.c,v 1.45 2007/01/22 18:31:51 momjian Exp $ * *------------------------------------------------------------------------- */ @@ -582,8 +582,13 @@ pclose_check(FILE *stream) log_error(_("child process exited with exit code %d"), WEXITSTATUS(exitstatus)); else if (WIFSIGNALED(exitstatus)) +#ifndef WIN32 log_error(_("child process was terminated by signal %d"), WTERMSIG(exitstatus)); +#else + log_error(_("child process was terminated by exception %X\nSee http://source.winehq.org/source/include/ntstatus.h for a description\nof the hex value."), + WTERMSIG(exitstatus)); +#endif else log_error(_("child process exited with unrecognized status %d"), exitstatus); |