You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Note: these values reflect the state of the issue at the time it was migrated and might not reflect the current state.
Show more details
GitHub fields:
assignee=Noneclosed_at=<Date2021-03-11.22:36:13.335>created_at=<Date2021-03-01.17:55:28.246>labels= ['expert-C-API', 'type-feature', '3.10']
title='PyErr_SetInterrupt should have an equivalent that takes a signal number'updated_at=<Date2021-03-11.22:36:13.335>user='https://github.com/pitrou'
PyErr_SetInterrupt() is useful if you want to simulate the effect of a SIGINT.
It would be helpful to provide a similar primitive for other signal numbers, e.g. PyErr_SetInterruptEx(int signum).
Note: these values reflect the state of the issue at the time it was migrated and might not reflect the current state.
Show more details
GitHub fields:
bugs.python.org fields:
The text was updated successfully, but these errors were encountered: