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 200701281522.50106.peter_e@gmx.net
Whole thread Raw
In response to Re: [ADMIN] server process (PID xxx) was  (Bruce Momjian <bruce@momjian.us>)
Responses Re: [ADMIN] server process (PID xxx) was  (Bruce Momjian <bruce@momjian.us>)
List pgsql-patches
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.

--
Peter Eisentraut
http://developer.postgresql.org/~petere/

pgsql-patches by date:

Previous
From: Bruce Momjian
Date:
Subject: Re: [ADMIN] server process (PID xxx) was
Next
From: Bruce Momjian
Date:
Subject: Re: [ADMIN] server process (PID xxx) was