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

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.

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

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