Martin Pitt wrote:
> I just played around with external_pid_file in 8.1.4. I noticed that
> the file is created and filled properly, but it is not removed again
> when the server is stopped.
>
Looking at the code I see this comment in
src/backend/postmaster/postmaster.c
/* Should we remove the pid file on postmaster exit? */
IMHO, yes. It's not useful anymore.
Maybe some simple test in pmdie(). I'm too tired to code something now.
:(
--
Euler Taveira de Oliveira
http://www.timbira.com/