Re: stopping server does not remove external_pid_file

Tom Lane wrote:

> No, because the external pidfile has zero to do with Postgres' internal
> behavior.
>
+1. So we have two options: have external_pid_file mimics the internal
behavior or deprecates it.

I couldn't find the discussion about it; just the patch [1]. IIRC this
'feature' was proposed to permit another home to postmaster.pid file. Am
I wrong? But seems to duplicate the pid file information.


[1] http://archives.postgresql.org/pgsql-patches/2004-06/msg00006.php

--
  Euler Taveira de Oliveira
  http://www.timbira.com/