diff options
| author | Dion Dokter <[email protected]> | 2022-06-17 13:54:34 +0200 |
|---|---|---|
| committer | Dion Dokter <[email protected]> | 2022-06-17 13:54:34 +0200 |
| commit | eb304c244839df742f4a76a4072f13179e397d0b (patch) | |
| tree | 9c45319a4adaafc6b0a6c57e8a02eb957b4d58a4 /docs/modules | |
| parent | 2a4cdd05faa40a7ce63f66e45080cdacb5171747 (diff) | |
Added a function to WakerRegistration to check if it's occupied.
Created a MultiWakerRegistration that can hold multiple wakers.
Got rid of some options and the pub/sub_index
Diffstat (limited to 'docs/modules')
0 files changed, 0 insertions, 0 deletions