On Fri, Jan 03, 2003 at 04:03:47PM -0500, Tom Lane wrote:
> If you can be absolutely certain that your script will *only* get run
> early in system boot, then having it remove postmaster.pid is arguably
> a reasonable thing to do. (Putting "rm postmaster.pid" into the startup
> script for the postmaster itself would not be reasonable, since you
> might well use that script to restart the postmaster --- with the rm in
> place, you've just fried the interlock against starting two postmasters.)
>
> Whether the benefits outweigh the risks is up to you to decide.
Then, deleting postmaster.pid at boot time (when it is impossible to have
any postmaster running) is an acceptable solution after all,
at least for me.
Thank you all for your replies.
--
Adrian Maier
(am@fx.ro)