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
havepassed      since the lockfile was last modified/created (most  likely      by  some  other program that
unexpectedlydied a long time      ago, and hence could not clean up any leftover lockfiles).
 

--  Bruce Momjian  <bruce@momjian.us>        http://momjian.us EnterpriseDB
http://postgres.enterprisedb.com
 + If your life is a hard drive, Christ can be your backup. +