diff options
| author | Kat Perez <[email protected]> | 2025-05-06 09:59:27 -0400 |
|---|---|---|
| committer | Kat Perez <[email protected]> | 2025-05-06 09:59:27 -0400 |
| commit | f4e0cbb7cc476b171acd0b21448e9bbc848a616d (patch) | |
| tree | c46f373ae9ff017d2a7767e51b769938ec7a09d6 /embassy-executor/src/spawner.rs | |
| parent | 54b3fb6e7a12598e0f6299c18a333060d6a3f9c7 (diff) | |
add ID field to TaskHeader
Diffstat (limited to 'embassy-executor/src/spawner.rs')
| -rw-r--r-- | embassy-executor/src/spawner.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/embassy-executor/src/spawner.rs b/embassy-executor/src/spawner.rs index 40202299f..7f907346d 100644 --- a/embassy-executor/src/spawner.rs +++ b/embassy-executor/src/spawner.rs | |||
| @@ -174,6 +174,7 @@ impl Spawner { | |||
| 174 | task.set_name(Some(name)); | 174 | task.set_name(Some(name)); |
| 175 | let task_id = task.as_ptr() as u32; | 175 | let task_id = task.as_ptr() as u32; |
| 176 | TASK_REGISTRY.register(task_id); | 176 | TASK_REGISTRY.register(task_id); |
| 177 | task.set_id(task_id); | ||
| 177 | 178 | ||
| 178 | unsafe { self.executor.spawn(task) }; | 179 | unsafe { self.executor.spawn(task) }; |
| 179 | Ok(()) | 180 | Ok(()) |