Remove external PID file on postmaster exit
Branch
------
master
Details
-------
http://git.postgresql.org/pg/commitdiff/ffdd5a0ee37c5ac38038aeff98328727e986d2da
Modified Files
--------------
src/backend/postmaster/postmaster.c | 15 ++++++++++++++-
1 files changed, 14 insertions(+), 1 deletions(-)