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

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

OK, but you guys added back that colon you didn't like.  :-)

--
  Bruce Momjian   bruce@momjian.us
  EnterpriseDB    http://www.enterprisedb.com

  + If your life is a hard drive, Christ can be your backup. +

pgsql-patches by date:

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