Euler Taveira de Oliveira <[EMAIL PROTECTED]> writes:
> 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.
[ shrug... ] If the postmaster crashes, it would certainly fail to
remove the pidfile. So I'd argue that your unnamed external script
that is expecting the pidfile to go away needs work: if it's not
verifying the PID given in the file, it's broken.
regards, tom lane
---------------------------(end of broadcast)---------------------------
TIP 9: In versions below 8.0, the planner will ignore your desire to
choose an index scan if your joining column's datatypes do not
match
