diff options
| author | Matthias Schiffer <mschiffer@universe-factory.net> | 2021-10-26 21:43:37 +0200 |
|---|---|---|
| committer | Matthias Schiffer <mschiffer@universe-factory.net> | 2021-10-26 22:13:17 +0200 |
| commit | 53f68281958bea55f3c1ee5da055219014df108f (patch) | |
| tree | 2e26412f389a090acfb83e8f57bffeb064469af5 /crates/runner/src/task.rs | |
| parent | 0229cc4ef729a10b35707ca90d14a76fc729517a (diff) | |
| download | rebel-53f68281958bea55f3c1ee5da055219014df108f.tar rebel-53f68281958bea55f3c1ee5da055219014df108f.zip | |
runner: maintain list of task PIDs in context
Diffstat (limited to 'crates/runner/src/task.rs')
0 files changed, 0 insertions, 0 deletions