Support Ctrl-C to interrupt console
See original GitHub issueLong running tasks in the console cannot be interrupted from within the GUI console view (e.g. a while(1)). However, I can Ctrl-C within the terminal that I launched angr-management from and it will stop the task.
I think the right thing to do here is to respond to Ctrl-C (or whatever binding) as IPython would when launched from a terminal:
In [1]: while True:
...: pass
...:
^C---------------------------------------------------------------------------
KeyboardInterrupt Traceback (most recent call last)
<ipython-input-1-414c137564b4> in <module>
1 while True:
----> 2 pass
3
KeyboardInterrupt:
In [2]:
Issue Analytics
- State:
- Created 2 years ago
- Comments:5 (4 by maintainers)
Top Results From Across the Web
CTRL+C and CTRL+BREAK Signals - Windows Console
The CTRL+C and CTRL+BREAK key combinations receive special handling by console processes.
Read more >CTRL-C doesn't interrupt the running process #684 - GitHub
When I run any program that will take a bit longer to complete and CTRL-C interrupt it while it runs, the console will...
Read more >How to emit Ctrl-C (keyboard interrupt) in Eclipse console?
To change keyboard bindings go to Window > Preferences > General > Keys and find "Terminate" with a red box by its name....
Read more >Send signals (e.g. by CTRL-C) to an opened console : PY-4840
Send signals (e.g. by CTRL-C) to an opened console ... PY-20507 Interrupt long operation execution in debug console by pressing Ctrl+C.
Read more >gnuplot / Feature Requests / #528 Need ability to interrupt plot ...
On Windows, these Ctrl-C interrupts can only be handled asynchronously for both console-mode and GUI variant. Internally, this works by ...
Read more >Top Related Medium Post
No results found
Top Related StackOverflow Question
No results found
Troubleshoot Live Code
Lightrun enables developers to add logs, metrics and snapshots to live code - no restarts or redeploys required.
Start FreeTop Related Reddit Thread
No results found
Top Related Hackernoon Post
No results found
Top Related Tweet
No results found
Top Related Dev.to Post
No results found
Top Related Hashnode Post
No results found
Top GitHub Comments
piggyback on https://github.com/angr/angr-management/pull/277?
I could not figure out how to do this from a different thread.