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. 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.
Regards, Jan