Re: stopping server does not remove external_pid_file

Tom Lane wrote:
> Bruce Momjian <pgman(at)candle(dot)pha(dot)pa(dot)us> writes:
> > Doesn't removing the file reduce the chances of failing to start later
> > in case another postmaster already has that pid?
>
> No, because the external pidfile has zero to do with Postgres' internal
> behavior.
>
> Personally I always thought that the external pidfile was a "feature"
> we should have rejected. It can never be a particularly reliable guide
> to what PG is doing, the more especially so if the program looking at it
> isn't doing any cross-checking, as the OP seems not to be doing.

Oh, it is the "external" file, not the one we automatically create in the
/data directory.

--
Bruce Momjian http://candle.pha.pa.us
EnterpriseDB http://www.enterprisedb.com

+ If your life is a hard drive, Christ can be your backup. +