projects / postgresql.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 029722a) | patch
Remove external PID file on postmaster exit
authorPeter Eisentraut <peter_e@gmx.net>
Tue, 21 Aug 2012 03:47:11 +0000 (23:47 -0400)
committerPeter Eisentraut <peter_e@gmx.net>
Tue, 21 Aug 2012 03:47:11 +0000 (23:47 -0400)
commitffdd5a0ee37c5ac38038aeff98328727e986d2da
tree986735e328d4d397d2842fbbbb6c13e24fca2347tree
parent029722ac8e0d6b52872486b9d1907530fc8a0192commit | diff
Remove external PID file on postmaster exit
src/backend/postmaster/postmaster.c diff | blob | blame | history
This is the main PostgreSQL git repository.