Skip to content

Comments

To deprecated signal-hanlder mechanism#716

Merged
cxxxr merged 4 commits intomainfrom
to-deprecate-signal-handler
Jun 11, 2023
Merged

To deprecated signal-hanlder mechanism#716
cxxxr merged 4 commits intomainfrom
to-deprecate-signal-handler

Conversation

@cxxxr
Copy link
Member

@cxxxr cxxxr commented Jun 10, 2023

#686 (comment)
To avoid this problem, I changed to a simple hook scheme

@cxxxr cxxxr marked this pull request as ready for review June 11, 2023 09:43
@cxxxr cxxxr merged commit 1609aaa into main Jun 11, 2023
@cxxxr cxxxr mentioned this pull request Jun 11, 2023
16 tasks
@cxxxr cxxxr deleted the to-deprecate-signal-handler branch June 21, 2023 17:17
@cxxxr cxxxr mentioned this pull request Jul 11, 2023
6 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant