Re: [PATCH 0/7] Graceful kill for timouted processes (SCRATCH)