Tom Tromey <tro...@redhat.com> skribis: >>>>>> "Ludovic" == Ludovic Courtès <l...@gnu.org> 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’.