> > 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?
--
Tatsuo Ishii