Amit kapila <amit(dot)kapila(at)huawei(dot)com> writes:
>> I think it should be removed with proc_exit hook just like the main
>> postmaster.pid file.
> external_pid_file is created first time when it is enabled in postgresql.conf
> I think it should be removed once the parameter external_pid_file is unset;
Unset? If that parameter is not PGC_POSTMASTER, it certainly ought to
be. In any case, that has little to do with what Peter is complaining
about ...
regards, tom lane