From d00c0c67d0bc7cb51ddd11bcca1d2f89a8822a3f Mon Sep 17 00:00:00 2001 From: Ian Barwick Date: Fri, 29 Jun 2018 17:00:25 +0900 Subject: [PATCH] repmgrd: document PID file options/configuration --- HISTORY | 3 ++- doc/appendix-release-notes.sgml | 34 ++++++++++++++++++++++++ doc/repmgrd-configuration.sgml | 46 ++++++++++++++++++++++++++++++++- 3 files changed, 81 insertions(+), 2 deletions(-) diff --git a/HISTORY b/HISTORY index 2670eb7d..a5553fe0 100644 --- a/HISTORY +++ b/HISTORY @@ -1,5 +1,6 @@ 4.1.0 2018-??-?? - repmgr: add "--missing-slots" check to "repmgr node check" + repmgr: add "--missing-slots" check to "repmgr node check" (Ian) + repmgrd: create a PID file by default; GitHub #457 (Ian) 4.0.6 2018-06-14 repmgr: (witness register) prevent registration of a witness server with the diff --git a/doc/appendix-release-notes.sgml b/doc/appendix-release-notes.sgml index 0e387546..9b8b8c26 100644 --- a/doc/appendix-release-notes.sgml +++ b/doc/appendix-release-notes.sgml @@ -15,6 +15,40 @@ See also: + + Release 4.1.0 + ???? ??, 2018 + + &repmgr; 4.1.0 introduces some changes to repmgrd + behaviour and some additional configuration parameters. + + + &repmgr; 4.1.0 introduces changes to the &repmgr; extension schema, meaning + ALTER EXTENSION repmgr UPGRADE must be executed after + installing the new version. + + + Configuration changes are backwards-compatible and no changes to + repmgr.conf are required. However users should + review changes listed below. + + + + repmgrd enhancements + + + + + repmgrd: create a PID file by default + (GitHub #457). For details, see . + + + + + + + + Release 4.0.6 June 14, 2018 diff --git a/doc/repmgrd-configuration.sgml b/doc/repmgrd-configuration.sgml index 7f046d47..7463215e 100644 --- a/doc/repmgrd-configuration.sgml +++ b/doc/repmgrd-configuration.sgml @@ -24,7 +24,7 @@ To use repmgrd, its associated function library must be - included in postgresql.conf with: + included via postgresql.conf with: shared_preload_libraries = 'repmgr' @@ -170,6 +170,50 @@ running repmgrd daemon. + + + repmgrd + PID file + + repmgrd's PID file + + repmgrd will generate a PID file by default. + + + + This is a behaviour change from previous versions (earlier than 4.1), where + the PID file had to be explicitly specified with the command line + parameter . + + + + The PID file can be specified in repmgr.conf with the configuration + parameter repmgrd_pid_file. + + + It can also be specified on the command line (as in previous versions) with + the command line parameter . Note this will override + any value set in repmgr.conf with repmgrd_pid_file. + may be deprecated in future releases. + + + If no PID file is specified, repmgrd will create one + in the operating system's temporary directory (determined by the environment variable + TMPDIR, or if that is not set, will use /tmp. + + + To prevent a PID file being generated at all, provide the command line option + . + + + To see which PID file would use, execute repmgrd + with the option . repmgrd + will not start if this option is provided. Note that the value shown is the + file repmgrd would use next time it starts, and is + not necessarily the PID file currently in use. + + + repmgrd