On Fri, 2010-09-17 at 11:11 +0200, Jan Kratochvil wrote:
On Thu, 16 Sep 2010 14:50:04 +0200, Denys Vlasenko wrote:
> + if (timeout < 0)
> + {
> + kill(child, SIGKILL);
> + strbuf_append_strf(buf_out, "\nTimeout exceeded: %u seconds,
killing %s\n", exec_timeout_sec, args[0]);
> + break;
> + }
SIGKILL is really inappropriate.
Why do you think so?
Such a problem should be bugreported (via
ABRT...) for GDB. There is even a (completed) project to make GDB fast:
http://fedoraproject.org/wiki/Features/GdbIndex
Some SIGSEGV or which signal would be appropriate to get it caught by ABRT.
--
vda