diff options
| author | hozan23 <hozan23@proton.me> | 2023-11-15 17:16:39 +0300 |
|---|---|---|
| committer | hozan23 <hozan23@proton.me> | 2023-11-15 17:16:39 +0300 |
| commit | 78884caca030104557ca277dd3a41cefb70f5be8 (patch) | |
| tree | c33650dfe44a219e395dff1966d298b58b09acb3 /core/src/util | |
| parent | f0729022589ee8e48b5558ab30462f95d06fe6df (diff) | |
improve the TaskGroup API
the TaskGroup now holds an Executor instead of passing it when calling
its spawn method
also, define a global executor `Executor<'static>` and use static
lifetime instead of a lifetime placeholder
This improvement simplify the code for spawning a new task. There is no
need to pass the executor around.
Diffstat (limited to 'core/src/util')
0 files changed, 0 insertions, 0 deletions