diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2017-01-17T17·21+0100 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2017-01-17T17·21+0100 |
| commit | cc3b93c991e04aff49a44dbced53f070a06f426e (patch) | |
| tree | bc88ad9093faabd477ce935aedb5bd6a09459107 /shell.nix | |
| parent | c0d55f918379f46b87e43457745895439a85555c (diff) | |
Handle SIGINT etc. via a sigwait() signal handler thread
This allows other threads to install callbacks that run in a regular, non-signal context. In particular, we can use this to signal the downloader thread to quit. Closes #1183.
Diffstat (limited to 'shell.nix')
0 files changed, 0 insertions, 0 deletions