diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2017-09-08T13·31+0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2017-09-08T13·31+0200 |
| commit | b7376edf06e3836394503e16ec14af23c7615f22 (patch) | |
| tree | 1ba2185c659f832628580e98073792e02c13be00 /shell.nix | |
| parent | 6a888ec29a6724f916f96508b3a94a86c643c18e (diff) | |
ThreadPool: On exception, interrupt the other worker threads
Diffstat (limited to 'shell.nix')
0 files changed, 0 insertions, 0 deletions