Re: stopping server does not remove external_pid_file

Tom Lane wrote:
> Bruce Momjian <pgman@candle.pha.pa.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. +