Re: [ADMIN] server process (PID xxx) was terminated by signal - Mailing list pgsql-patches

From Peter Eisentraut
Subject Re: [ADMIN] server process (PID xxx) was terminated by signal
Date
Msg-id 200701281821.51011.peter_e@gmx.net
Whole thread Raw
In response to Re: [ADMIN] server process (PID xxx) was terminated by signal  (Tom Lane <tgl@sss.pgh.pa.us>)
Responses Re: [ADMIN] server process (PID xxx) was  (Bruce Momjian <bruce@momjian.us>)
Re: [ADMIN] server process (PID xxx) was  (Bruce Momjian <bruce@momjian.us>)
List pgsql-patches
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/

pgsql-patches by date:

Previous
From: Tom Lane
Date:
Subject: Re: uuid patch 3.0 (8.3devel)
Next
From: Kris Jurka
Date:
Subject: Re: uuid patch 3.0 (8.3devel)