clarified execution context: main work happens within Future.thread;
clarified signature: only one "join" operation;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE911d3dbf2033: clarified timeout: closer to actual process;
- Branches
- Unknown
- Tags