Subject: Re: kill(1) a pid after timeout
To: Phil Nelson <firstname.lastname@example.org>
From: Michael van Elst <email@example.com>
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
"A potential Snark may lurk in every tree."