Subject: Re: kill(1) a pid after timeout
To: Phil Nelson <phil@cs.wwu.edu>
From: Michael van Elst <mlelstv@serpens.de>
List: tech-userlevel
Date: 07/25/2007 21:47:09 
On Wed, Jul 25, 2007 at 12:18:20PM -0700, Phil Nelson wrote:

> There is "deadman" in localsrc/releng/deadman that runs a command
> with a timeout and then kills the process if it has not finished.

Yes. Everyone is building his own version of such a tool.


-- 
                                Michael van Elst
Internet: mlelstv@serpens.de
                                "A potential Snark may lurk in every tree."