From 89f3566419a4987a5fa1420993322456c1849fef Mon Sep 17 00:00:00 2001
From: Kaspar Schleiser <kaspar@schleiser.de>
Date: Mon, 22 Jan 2024 21:50:34 +0100
Subject: [PATCH] embassy_executor: introduce `Spawner::executor_id()`

---
 embassy-executor/src/spawner.rs | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/embassy-executor/src/spawner.rs b/embassy-executor/src/spawner.rs
index 9817a2870..ff243081c 100644
--- a/embassy-executor/src/spawner.rs
+++ b/embassy-executor/src/spawner.rs
@@ -173,6 +173,11 @@ impl Spawner {
     pub fn make_send(&self) -> SendSpawner {
         SendSpawner::new(&self.executor.inner)
     }
+
+    /// Return the unique ID of this Spawner's Executor.
+    pub fn executor_id(&self) -> usize {
+        self.executor.id()
+    }
 }
 
 /// Handle to spawn tasks into an executor from any thread.