more robust interrupt handling as in Future.forked_results (amending 64df1e514005);
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE5bded25065f8: more parallelism: avoid exhaustion of standard thread pool;
- Branches
- Unknown
- Tags