[PATCH v4 00/16] extension language API for GDB

[Ludovic Courtès]

Doug Evans <xdje42@gmail.com> skribis:

> - improves SIGINT handling
> Extension languages that can use GDB's SIGINT handler are termed "cooperative"
> and interrupts are "moved" when the extension language changes.
> Extension languages that can't use GDB's SIGINT handler have to
> install their own
> SIGINT handler and must call check_quit_flag appropriately (at least
> once at startup).

Nice.  This sounds like an easy way to solve the problem for Guile,
until it’s signal handling support can be used the way we’d like.

Thanks,
Ludo’.