Thread: pgsql: Remove external PID file on postmaster exit

pgsql: Remove external PID file on postmaster exit

From
Peter Eisentraut
Date:
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(-)