public inbox for [email protected]
help / color / mirror / Atom feedFrom: Bruce Momjian <[email protected]>
To: Marc G. Fournier <[email protected]>
Cc: Alvaro Herrera <[email protected]>
Cc: Tom Lane <[email protected]>
Cc: Peter Eisentraut <[email protected]>
Cc: [email protected]
Subject: Re: Devel docs build is stuck?
Date: Sat, 22 Mar 2008 10:23:35 -0400 (EDT)
Message-ID: <[email protected]> (raw)
In-Reply-To: <[email protected]>
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 <[email protected]> http://momjian.us
EnterpriseDB http://postgres.enterprisedb.com
+ If your life is a hard drive, Christ can be your backup. +
view thread (5+ messages)
reply
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Reply to all the recipients using the --to and --cc options:
reply via email
To: [email protected]
Cc: [email protected], [email protected], [email protected], [email protected], [email protected]
Subject: Re: Devel docs build is stuck?
In-Reply-To: <[email protected]>
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
This inbox is served by agora; see mirroring instructions
for how to clone and mirror all data and code used for this inbox