[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: bug#8938: make timeout and CTRL-C
From: |
Pádraig Brady |
Subject: |
Re: bug#8938: make timeout and CTRL-C |
Date: |
Fri, 14 Sep 2012 03:19:37 +0100 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:6.0) Gecko/20110816 Thunderbird/6.0 |
On 09/12/2012 03:31 AM, Pádraig Brady wrote:
I found a more reliable way to disable core dumps,
so another attempt at this is attached.
V2 attached, which factors out a disable_core_dumps() function.
cheers,
Pádraig.
timeout-raise.diff
Description: Text document