mirror of
https://github.com/EnterpriseDB/repmgr.git
synced 2026-03-23 15:16:29 +00:00
49 lines
1.1 KiB
Bash
49 lines
1.1 KiB
Bash
#!/bin/sh
|
|
### BEGIN INIT INFO
|
|
# Provides: repmgrd
|
|
# Required-Start: $local_fs $remote_fs $network $syslog $postgresql
|
|
# Required-Stop: $local_fs $remote_fs $network $syslog $postgresql
|
|
# Should-Start: $syslog $postgresql
|
|
# Should-Start: $syslog $postgresql
|
|
# Default-Start: 2 3 4 5
|
|
# Default-Stop: 0 1 6
|
|
# Short-Description: Start/stop repmgrd
|
|
### END INIT INFO
|
|
|
|
set -e
|
|
|
|
if test -f /etc/default/repmgrd; then
|
|
. /etc/default/repmgrd
|
|
fi
|
|
|
|
if [ -z "$REPMGRD_BIN" ]; then
|
|
REPMGRD_BIN="/usr/bin/repmgrd"
|
|
fi
|
|
|
|
if [ -z "$REPMGRD_PIDFILE" ]; then
|
|
REPMGRD_PIDFILE="/var/run/repmgrd.pid"
|
|
fi
|
|
|
|
test -x $REPMGRD_BIN || exit 0
|
|
|
|
case "$1" in
|
|
start)
|
|
start-stop-daemon --start --quiet --make-pidfile --pidfile $REPMGRD_PIDFILE --exec $REPMGRD_BIN $REPMGRD_OPTS
|
|
;;
|
|
|
|
stop)
|
|
start-stop-daemon --stop --oknodo --quiet --pidfile $REPMGRD_PIDFILE
|
|
;;
|
|
|
|
restart)
|
|
$0 stop && $0 start || exit 1
|
|
;;
|
|
|
|
*)
|
|
echo "Usage: $0 {start|stop|restart}"
|
|
exit 1
|
|
;;
|
|
esac
|
|
|
|
exit 0
|