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

From: Bruce Momjian <bruce(at)momjian(dot)us>
To: Peter Eisentraut <peter_e(at)gmx(dot)net>
Cc: Alvaro Herrera <alvherre(at)commandprompt(dot)com>, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us>, 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-28 14:28:47
Message-ID: 200701281428.l0SESlW17032@momjian.us
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
Lists: pgsql-admin pgsql-patches pgsql-sql

Peter Eisentraut wrote:
> Bruce Momjian wrote:
> > Peter Eisentraut wrote:
> > > Bruce Momjian wrote:
> > > > New log output will look like:
> > > >
> > > > LOG: server process (PID 29304) was terminated by signal: Bus
> > > > error (10)
> > >
> > > The colon doesn't make sense to me.
> >
> > OK, it seemed strange to say "signal Bus error (10)" because of the
> > capitalization, but I will remove the colon.
>
> To make the grammar match better it might be safer to put the text
> inside the parentheses and the number into the sentence. That would
> also work better for translation.

OK. I will also add the number to the exec.c case by snprint into a
local string in that block, and passing that to log_error.

--
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

Responses

Browse pgsql-admin by date

  From Date Subject
Next Message Tom Lane 2007-01-28 15:00:08 Re: [ADMIN] server process (PID xxx) was terminated by signal
Previous Message Ray Stell 2007-01-28 14:25:17 Re: cluster or database?

Browse pgsql-patches by date

  From Date Subject
Next Message Tom Lane 2007-01-28 15:00:08 Re: [ADMIN] server process (PID xxx) was terminated by signal
Previous Message Peter Eisentraut 2007-01-28 14:22:49 Re: [ADMIN] server process (PID xxx) was terminated by signal

Browse pgsql-sql by date

  From Date Subject
Next Message Tom Lane 2007-01-28 15:00:08 Re: [ADMIN] server process (PID xxx) was terminated by signal
Previous Message Peter Eisentraut 2007-01-28 14:22:49 Re: [ADMIN] server process (PID xxx) was terminated by signal