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

From: Bruce Momjian <bruce(at)momjian(dot)us>
To: David Fetter <david(at)fetter(dot)org>
Cc: Peter Eisentraut <peter_e(at)gmx(dot)net>, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us>, Alvaro Herrera <alvherre(at)commandprompt(dot)com>, Achilleas Mantzios <achill(at)matrix(dot)gatewaynet(dot)com>, PostgreSQL-patches <pgsql-patches(at)postgresql(dot)org>
Subject: Re: [ADMIN] server process (PID xxx) was
Date: 2007-01-29 21:02:07
Message-ID: 200701292102.l0TL28l21551@momjian.us
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
Lists: pgsql-admin pgsql-patches pgsql-sql

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(at)momjian(dot)us
EnterpriseDB http://www.enterprisedb.com

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

In response to

Browse pgsql-admin by date

  From Date Subject
Next Message Peter Koczan 2007-01-29 21:03:25 pg_dumpall problems
Previous Message Bruce Momjian 2007-01-29 20:21:55 Re: [ADMIN] server process (PID xxx) was

Browse pgsql-patches by date

  From Date Subject
Next Message Bruce Momjian 2007-01-30 02:34:53 Re: [HACKERS] [BUGS] BUG #2907: pg_get_serial_sequence quoting
Previous Message korryd 2007-01-29 20:29:25 Fixed shared_preload_libraries on Win32

Browse pgsql-sql by date

  From Date Subject
Next Message Phillip Smith 2007-01-30 05:32:22 Differentiate Between Zero-Length String and NULL Column Values
Previous Message Bruce Momjian 2007-01-29 20:21:55 Re: [ADMIN] server process (PID xxx) was