> I said:
> > Yes, there are lots of systems that will clean /tmp --- and since the
> > lock file is an ordinary file (not a socket) pretty much any tmp-cleaner
> > is going to decide to remove it. I think that I had intended to insert
> > a periodic touch of the lockfile and forgot to.
>
> Done now.
Yes, checkpoint is a good place to put it. Thanks. I still liked the
BRAINDAMAGED_TMP_CLEANER though.
-- Bruce Momjian | http://candle.pha.pa.us pgman@candle.pha.pa.us | (610)
853-3000+ If your life is a hard drive, | 830 Blythe Avenue + Christ can be your backup. | Drexel Hill,
Pennsylvania19026