github/repmgr
1
0
Fork 0
mirror of https://github.com/EnterpriseDB/repmgr.git synced 2026-03-24 07:36:30 +00:00
Code Issues Packages Projects Releases 1 Wiki Activity
Files
b4da7caa301f8a395fd7f5cff13002ebdd6085eb
repmgr/dbutils.c
Ian Barwick 507b27c05d Mark set_repmgrd_pid() as "RETURNS NULL ON NULL INPUT" 
When unsetting the PID, we'll want to set the pidfile to NULL rather
than an empty string.
2019-08-19 20:15:30 +09:00

143 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink