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

Merge pull request #110 from kjoe/master

Browse Source 
Debian init script repmgrd process stop fix

This means rejecting pull request on #121
This commit is contained in:
Martín Marqués
2015-12-12 08:46:56 -03:00
parent 88a3378203 1636805fa1
commit 2f4fd2b7fa
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
debian/repmgr.repmgrd.init vendored
View File

@@ -59,7 +59,7 @@ do_stop()
# 0 if daemon has been stopped
# 1 if daemon was already stopped
# other if daemon could not be stopped or a failure occurred
start-stop-daemon --stop --quiet --retry=TERM/30/KILL/5 --pidfile $REPMGRD_PIDFILE --exec $REPMGRD_BIN
start-stop-daemon --stop --quiet --retry=TERM/30/KILL/5 --pidfile $REPMGRD_PIDFILE --name "$(basename $REPMGRD_BIN)"
}
case "$1" in