[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH v2 02/13] script language API for GDB: extension.[ch]
From: |
Tom Tromey |
Subject: |
Re: [PATCH v2 02/13] script language API for GDB: extension.[ch] |
Date: |
Tue, 14 Jan 2014 12:17:41 -0700 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux) |
>>>>> "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.
Tom
- Re: [PATCH v2 02/13] script language API for GDB: extension.[ch], Tom Tromey, 2014/01/06
- Re: [PATCH v2 02/13] script language API for GDB: extension.[ch], Ludovic Courtès, 2014/01/07
- Re: [PATCH v2 02/13] script language API for GDB: extension.[ch], Tom Tromey, 2014/01/07
- Re: [PATCH v2 02/13] script language API for GDB: extension.[ch], Ludovic Courtès, 2014/01/07
- Re: [PATCH v2 02/13] script language API for GDB: extension.[ch], Tom Tromey, 2014/01/07
- Re: [PATCH v2 02/13] script language API for GDB: extension.[ch],
Tom Tromey <=
- Re: [PATCH v2 02/13] script language API for GDB: extension.[ch], Ludovic Courtès, 2014/01/15
- Re: [PATCH v2 02/13] script language API for GDB: extension.[ch], Mark H Weaver, 2014/01/21
- Re: [PATCH v2 02/13] script language API for GDB: extension.[ch], Doug Evans, 2014/01/21