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

Mark set_repmgrd_pid() as "RETURNS NULL ON NULL INPUT"

Browse Source 
When unsetting the PID, we'll want to set the pidfile to NULL rather
than an empty string.
This commit is contained in:
Ian Barwick
2019-08-19 20:15:30 +09:00
parent 28f4536372
commit 507b27c05d
3 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
repmgr--4.4--4.5.sql
View File

@@ -1,3 +1,5 @@
-- complain if script is sourced in psql, rather than via CREATE EXTENSION
\echo Use "CREATE EXTENSION repmgr" to load this file. \quit
ALTER FUNCTION set_repmgrd_pid(INT, TEXT) RETURNS NULL ON NULL INPUT;