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

Поиск
Список
Период
Сортировка
От Tom Lane
Тема Re: [ADMIN] server process (PID xxx) was terminated by signal
Дата
Msg-id 12999.1169996408@sss.pgh.pa.us
обсуждение исходный текст
Ответ на Re: [ADMIN] server process (PID xxx) was  (Bruce Momjian <bruce@momjian.us>)
Ответы Re: [ADMIN] server process (PID xxx) was terminated by signal  (Peter Eisentraut <peter_e@gmx.net>)
Список 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 по дате отправления:

Предыдущее
От: Bruce Momjian
Дата:
Сообщение: Re: [ADMIN] server process (PID xxx) was
Следующее
От: Gevik Babakhani
Дата:
Сообщение: Re: uuid patch 3.0 (8.3devel)