Re: Devel docs build is stuck?

Marc G. Fournier wrote:
>
>
> On Fri, 21 Mar 2008, Alvaro Herrera wrote:
>
> > Marc G. Fournier wrote:
> >> -----BEGIN PGP SIGNED MESSAGE-----
> >> Hash: SHA1
> >>
> >>
> >> looks like a stale lock file, removed it so should run shortly ...
> >
> > Should we get this build monitored too?
>
> At the very least, have the lock file written to /tmp so that its cleared
> on reboot?

Simplistically, the lockfile program that comes with procmail allows an
age to be specified --- if the lockfile is older than a certain amount
of time it is removed --- I used this feature often:

If you specify a locktimeout then a lockfile will be
removed by force after locktimeout seconds have passed
since the lockfile was last modified/created (most likely
by some other program that unexpectedly died a long time
ago, and hence could not clean up any leftover lockfiles).

--
Bruce Momjian <bruce(at)momjian(dot)us> http://momjian.us
EnterpriseDB http://postgres.enterprisedb.com

+ If your life is a hard drive, Christ can be your backup. +