BUG #12072: init script creates pid file with wrong owner

Поиск
Список
Период
Сортировка
От henrik-postgres@hswn.dk
Тема BUG #12072: init script creates pid file with wrong owner
Дата
Msg-id 20141126141924.15506.75024@wrigleys.postgresql.org
обсуждение исходный текст
Ответы Re: BUG #12072: init script creates pid file with wrong owner  (Sandeep Thakkar <sandeep.thakkar@enterprisedb.com>)
Re: BUG #12072: init script creates pid file with wrong owner  (John R Pierce <pierce@hogranch.com>)
Re: BUG #12072: init script creates pid file with wrong owner  (Devrim Gündüz <devrim@gunduz.org>)
Список pgsql-bugs
The following bug has been logged on the website:

Bug reference:      12072
Logged by:          Henrik Storner
Email address:      henrik-postgres@hswn.dk
PostgreSQL version: 9.3.5
Operating system:   CentOS 6.6
Description:

The /etc/init.d/postgresql-9.3 file created a PID file, but fails to make it
owned by user 'postgres'.

This means that using the "pg_ctl" command to restart Postgres fails,
because user postgres cannot update the pid file (if you set
external_pid_file in postgresql.conf so it can find the pid file).

The init script should do a "chown postgres:postgres $pidfile" so the pid
file is owned by the postgres user. This allows pg_ctl commands to work.

В списке pgsql-bugs по дате отправления:

Предыдущее
От: ing.marco.colombo@gmail.com
Дата:
Сообщение: BUG #12088: pg_upgrade 9.3 -> 9.4rc1 - implicit cast not ported
Следующее
От: Andres Freund
Дата:
Сообщение: Re: BUG #12086: docs: prewarm: When does prewarm happen?