Re: stopping server does not remove external_pid_file

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/