Re: [ADMIN] server process (PID xxx) was terminated by signal

Tom Lane wrote:
> I don't like that because it parenthesizes the most important part of
> the message, which is a style-guideline violation at least in spirit.
> How about
>
>         ... terminated by signal 10: Bus error

I like that.

--
Peter Eisentraut
http://developer.postgresql.org/~petere/