Subject: Re: kill(1) a pid after timeout
To: Michael van Elst <mlelstv@serpens.de>
From: Phil Nelson <phil@cs.wwu.edu>
List: tech-userlevel
Date: 07/25/2007 12:18:20
--nextPart4667261.dZ1GHV7XuG
Content-Type: text/plain;
charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline
On Tuesday 24 July 2007 10:04:12 pm Michael van Elst wrote:
> I'd rather see a 'runsomethingwithtimeout' command than such a
> flag to kill.
There is "deadman" in localsrc/releng/deadman that runs a command
with a timeout and then kills the process if it has not finished.
deadman numsec command-to-run with-args ...
This is used on the build clusters to make sure builds don't run too long.
=2D-Phil
p.s. Yes, this is different than the proposed -t flag to kill/pkill.
=2D-=20
Phil Nelson NetBSD: http://www.NetBSD.org
e-mail: phil@cs.wwu.edu Coda: http://www.coda.cs.cmu.edu
http://www.cs.wwu.edu/nelson
--nextPart4667261.dZ1GHV7XuG
Content-Type: application/pgp-signature; name=signature.asc
Content-Description: This is a digitally signed message part.
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.7 (NetBSD)
iD8DBQBGp6H9zbodwsP3RI0RAjpwAKDRFj2f1a0q/WgeiBsIscck/K3uawCg1r4C
/J0I6CT7p6QPBJBwhAPE6EM=
=Cro0
-----END PGP SIGNATURE-----
--nextPart4667261.dZ1GHV7XuG--