Re: Shared disk storage

On Tue, Sep 06, 2005 at 17:01:41 -0500,
  "Jim C. Nasby" <jnasby@pervasive.com> wrote:
>
> Maybe it would be better to keep this in PGDATA (or even a duplicate
> copy). Holding a write lock on the file should also help ensure that you
> can tell if it's stale or not.

And the end user can do that if they know to look for it. What you get by
default is going to come from the distro vender and they may decide to
put it in /var/run no matter what the default is when you build from source.