Re: [PATCH v2 02/13] script language API for GDB: extension.[ch]

[Ludovic Courtès]

Tom Tromey <address@hidden> skribis:

>>>>>> "Ludovic" == Ludovic Courtès <address@hidden> writes:
>
> Ludovic> I guess this is another limitation of Guile’s current signal handling
> Ludovic> strategy, and something we should fix.
>
> FWIW I think it would be sufficient for gdb if scm_system_async_mark, or
> something like it, could be invoked from a signal handler.  Then a
> SIGINT in gdb could install an async callback that later checks gdb's
> quit flag.

Right.  Unfortunately that seems hard to fix in the 2.0 series, but 2.2
is not too far away either.

Thanks,
Ludo’.