This repository has been archived by the owner on Jan 30, 2023. It is now read-only.
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
use changesignal to restore SIGCHLD and SIGINT handling
after GAP intialization, since we don't want it clobbering our own handlers for those signals, or setting new ones Something still needs to be done to replace the default SIGCHLD handler; see discussion at gap-system/gap#3072 (comment)
- Loading branch information