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

David Fetter wrote:
> On Sun, Jan 28, 2007 at 05:02:24PM -0500, Bruce Momjian wrote:
> > 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.  :-)
>
> Placement is crucial.  Compare
>
> terminated by signal 10: Bus error <-- proposed version
> terminated by signal: 10 Bus error <-- older version

FYI, that was not the old version.

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

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