> > > But how do you know if that file still belongs to an active postmaster?
> > > What if it exited before removing the file. Seems we would have to
> > > write the PID into the file, and do a kill() to see if it is running.
>
> I believe we already do this (SetPidFile() in
> utils/init/miscinit.c). Isn't it sufficient (1) to prevent starting a
> new postmaster on the same data dir and (2) to unlink the accidently
> left socket file?
I noticed what I was missing after sending the mail. Sorry for the
confusion. Seems the idea trying to connect a postmaster looks good.
--
Tatsuo Ishii