Re: [ADMIN] server process (PID xxx) was terminated by signal - Mailing list pgsql-patches

From Tom Lane
Subject Re: [ADMIN] server process (PID xxx) was terminated by signal
Date
Msg-id 12999.1169996408@sss.pgh.pa.us
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 terminated by signal
List pgsql-patches
Bruce Momjian <bruce@momjian.us> writes:
> Peter Eisentraut wrote:
>> 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.

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

            regards, tom lane

pgsql-patches by date:

Previous
From: Bruce Momjian
Date:
Subject: Re: [ADMIN] server process (PID xxx) was
Next
From: Gevik Babakhani
Date:
Subject: Re: uuid patch 3.0 (8.3devel)