diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2017-01-17 18:21:02 +0100 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2017-01-17 18:21:02 +0100 |
| commit | cc3b93c991e04aff49a44dbced53f070a06f426e (patch) | |
| tree | bc88ad9093faabd477ce935aedb5bd6a09459107 /misc | |
| 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 'misc')
0 files changed, 0 insertions, 0 deletions