stopping server does not remove external_pid_file - Mailing list pgsql-bugs

From Martin Pitt
Subject stopping server does not remove external_pid_file
Date
Msg-id 20060605173052.GF5471@piware.de
Whole thread Raw
Responses Re: stopping server does not remove external_pid_file  (Euler Taveira de Oliveira <euler@timbira.com>)
List pgsql-bugs
Hi PostgreSQL developers,

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.

Thank you,

Martin
--=20
Martin Pitt        http://www.piware.de
Ubuntu Developer   http://www.ubuntu.com
Debian Developer   http://www.debian.org

In a world without walls and fences, who needs Windows and Gates?

pgsql-bugs by date:

Previous
From: Tom Lane
Date:
Subject: Re: BUG #2467: Documentation
Next
From: Bruno Wolff III
Date:
Subject: Re: BUG #2468: how to create auto-generate primary key