diff options
| author | Dario Nieuwenhuis <[email protected]> | 2023-08-22 21:14:29 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2023-08-22 21:14:29 +0000 |
| commit | 31c5bdfa29fd94e422681ba3dca711fbee70f12a (patch) | |
| tree | ac239341460bab045681aff1fff10993b365a3fb /embassy-executor/src/spawner.rs | |
| parent | 906ab06a6e132dffc663c711842615ce16806e74 (diff) | |
| parent | 0a73c84df0936facecb3e1a97cf6f4795d321b87 (diff) | |
Merge pull request #1812 from bugadani/storage
Make `AvailableTask` public
Diffstat (limited to 'embassy-executor/src/spawner.rs')
| -rw-r--r-- | embassy-executor/src/spawner.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/embassy-executor/src/spawner.rs b/embassy-executor/src/spawner.rs index 2b6224045..5a3a0dee1 100644 --- a/embassy-executor/src/spawner.rs +++ b/embassy-executor/src/spawner.rs | |||
| @@ -33,7 +33,8 @@ impl<S> SpawnToken<S> { | |||
| 33 | } | 33 | } |
| 34 | } | 34 | } |
| 35 | 35 | ||
| 36 | pub(crate) fn new_failed() -> Self { | 36 | /// Return a SpawnToken that represents a failed spawn. |
| 37 | pub fn new_failed() -> Self { | ||
| 37 | Self { | 38 | Self { |
| 38 | raw_task: None, | 39 | raw_task: None, |
| 39 | phantom: PhantomData, | 40 | phantom: PhantomData, |