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. Maybe some simple test in pmdie(). I'm too tired to code something now. :( -- Euler Taveira de Oliveira http://www.timbira.com/ ---------------------------(end of broadcast)--------------------------- TIP 5: don't forget to increase your free space map settings
