Restore signal handlers at the end of open_signal_receiver
.
#689
Labels
enhancement
New feature or request
open_signal_receiver
.
#689
Things to check first
Feature description
Would it be possible to restore the original signal handlers at the end of
open_signal_receiver
instead of only removing them? I see that currently, we don't do that. Is there reason for this?To restore signal handlers, they also have to be restored using ctypes after calling
remove_signal_handler
. See this code for an example on how to do that: https://github.com/prompt-toolkit/python-prompt-toolkit/blob/465ab02854763fafc0099a2e38a56328c1cb0625/src/prompt_toolkit/application/application.py#L1596Use case
(Use case is obvious I think. We have an application for which a main signal handler is installed at the beginning, however, during a portion of the code, we want to use
open_signal_receiver
to override the signal handler for that portion.)The text was updated successfully, but these errors were encountered: