snarkOS
snarkOS copied to clipboard
Handle signals earlier on, handle SIGTERM
This PR starts signal handling before the sync process begins, and handles SIGTERM on UNIX-family systems in addition to SIGINT.
Fixes https://github.com/AleoHQ/snarkOS/issues/1996.