github/repmgr
1
0
Fork 0
mirror of https://github.com/EnterpriseDB/repmgr.git synced 2026-03-24 23:56:29 +00:00
Code Issues Packages Projects Releases 1 Wiki Activity

Document parameter "degraded_monitoring_timeout"

Browse Source 
Also ensure it can be reloaded.
This commit is contained in:
Ian Barwick
2017-08-31 14:48:51 +09:00
parent 7fecc611a9
commit 677cd9073a
2 changed files with 12 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
configfile.c
View File

@@ -943,7 +943,6 @@ reload_config(t_configuration_options *orig_options)
config_changed = true;
}
/* conninfo */
if (strcmp(orig_options->conninfo, new_options.conninfo) != 0)
{
@@ -962,6 +961,15 @@ reload_config(t_configuration_options *orig_options)
PQfinish(conn);
}
/* degraded_monitoring_timeout */
if (orig_options->degraded_monitoring_timeout != new_options.degraded_monitoring_timeout)
{
orig_options->degraded_monitoring_timeout = new_options.degraded_monitoring_timeout;
log_info(_("\"degraded_monitoring_timeout\" is now \"%i\""), new_options.degraded_monitoring_timeout);
config_changed = true;
}
/* event_notification_command */
if (strcmp(orig_options->event_notification_command, new_options.event_notification_command) != 0)
{