[Bug python/12615] New: Interrupt a running script

[Bug python/12615] New: Interrupt a running script

[andre.poenitz at nokia dot com]

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

           Summary: Interrupt a running script
           Product: gdb
           Version: HEAD
            Status: NEW
          Severity: normal
          Priority: P2
         Component: python
        AssignedTo: unassigned@sourceware.org
        ReportedBy: andre.poenitz@nokia.com


Currently there seems to be no way to interrupt a running python script in gdb.

With the adoption of user defined pretty printers a gdb frontend cannot protect
itself from a "rogue" pretty printer that does the equivalent of "while True:
pass", or simply takes a very long time to evaluate.

It would be nice if there was a supported way to interrupt a running script,
or to set a maximal running time for a script in advance.

-- 
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.

[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.

[Bug python/12615] Interrupt a running script

[tromey at redhat dot com]

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

Tom Tromey <tromey at redhat dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |tromey at redhat dot com

--- Comment #2 from Tom Tromey <tromey at redhat dot com> 2012-08-22 20:38:41 UTC ---
Delivering SIGINT to gdb should work ok now.
It should do the right thing in Python code.

-- 
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.

[Bug python/12615] Interrupt a running script

[andre.poenitz at nokia dot com]

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

Andre Poenitz <andre.poenitz at nokia dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED

--- Comment #3 from Andre Poenitz <andre.poenitz at nokia dot com> 2012-08-23 07:06:21 UTC ---
I can confirm this is fixed in current master branch from
git://sourceware.org/git/gdb.git. Both Ctrl-C on the command line and kill
-SIGINT work.

Thank you for fixing this.

-- 
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.

[Bug python/12615] Interrupt a running script

[tromey at redhat dot com]

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

Tom Tromey <tromey at redhat dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |7.6

-- 
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.