mirror of
https://github.com/EnterpriseDB/repmgr.git
synced 2026-03-23 07:06:30 +00:00
8d636690bd
Traditionally repmgrd will only write a pidfile if explicitly requested with -p/--pid-file. However it's normally desirable to have a pidfile, and it's preferable to have one used by default to prevent accidentally starting a second repmgrd instance. Following changes made: - add configuration file parameter "repmgrd_pid_file" (initially overridden by -p/--pid-file for backwards compatibility, though eventually we'll want to drop -p/--pid-file altogether) - add command line option --no-pid-file - if neither "repmgrd_pid_file" nor -p/--pid-file is set, create the pid file in a temporary directory Implements GitHub #457.
34 lines
756 B
C
34 lines
756 B
C
/*
|
|
* repmgrd.h
|
|
* Copyright (c) 2ndQuadrant, 2010-2018
|
|
*/
|
|
|
|
|
|
#ifndef _REPMGRD_H_
|
|
#define _REPMGRD_H_
|
|
|
|
#include <time.h>
|
|
#include "portability/instr_time.h"
|
|
|
|
#define OPT_NO_PID_FILE 1000
|
|
|
|
extern volatile sig_atomic_t got_SIGHUP;
|
|
extern MonitoringState monitoring_state;
|
|
extern instr_time degraded_monitoring_start;
|
|
|
|
extern t_configuration_options config_file_options;
|
|
extern t_node_info local_node_info;
|
|
extern PGconn *local_conn;
|
|
extern bool startup_event_logged;
|
|
|
|
PGconn *try_reconnect(t_node_info *node_info);
|
|
|
|
int calculate_elapsed(instr_time start_time);
|
|
const char *print_monitoring_state(MonitoringState monitoring_state);
|
|
|
|
void update_registration(PGconn *conn);
|
|
void terminate(int retval);
|
|
|
|
|
|
#endif /* _REPMGRD_H_ */
|