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