mirror of
https://github.com/EnterpriseDB/repmgr.git
synced 2026-03-25 16:16:29 +00:00
Refactoring part: we now use a function to generate the PID file. Sophistication: we now check if the PID contained in the file is a valid PID. We ignore the file if it doesn't.
37 KiB
37 KiB