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--