github/repmgr
1
0
Fork 0
mirror of https://github.com/EnterpriseDB/repmgr.git synced 2026-03-24 15:46:29 +00:00
Code Issues Packages Projects Releases 1 Wiki Activity
Files
a502b2cf96f36b48bbfa12455a1a2b40d4af8dec
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