Alexander Kukushkin 0318749b56 bugfix: api must report role=master during pg_ctl stop ...

In addition for that make pg_ctl --timeout option configurable.
If the stop or start didn't succeeded during given timeout when demoting
master, role will be forcibly changed to 'unknown' and all needed
callbacks executed.

2016-06-28 14:14:42 +02:00

..

dynamic_configuration.rst

Some editorializing and fixing of typos.

2016-06-13 15:48:23 +02:00

ENVIRONMENT.rst

Fix documentation

2016-06-14 10:13:47 +02:00

SETTINGS.rst

bugfix: api must report role=master during pg_ctl stop

2016-06-28 14:14:42 +02:00