[Bug python/12615] Interrupt a running script

[kevin.pouget at gmail dot com]

http://sourceware.org/bugzilla/show_bug.cgi?id=12615

Kevin Pouget <kevin.pouget at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |kevin.pouget at gmail dot
                   |                            |com

--- Comment #1 from Kevin Pouget <kevin.pouget at gmail dot com> 2011-12-05 12:54:03 UTC ---
I agree,

gdb/def.h defines this macro:

> #define QUIT { \
>   if (quit_flag) quit (); \
>   if (deprecated_interactive_hook) deprecated_interactive_hook (); \
> }

and:

> /* Nonzero means a quit has been requested.  */
> int quit_flag;
> int immediate_quit;

it could be convenient to have similar mechanisms in Python.

-- 
Configure bugmail: http://sourceware.org/bugzilla/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.