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

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/