mirror of
https://github.com/EnterpriseDB/repmgr.git
synced 2026-03-25 08:06:29 +00:00
We avoid using exit() to be able to clean up when we have to terminate. This includes removal of the PID file as well as closing database connections.
35 KiB
35 KiB