From 6c50b5d1677957a41ee4a56bcc06fd6f97a55b1d Mon Sep 17 00:00:00 2001
From: Zhixing Zhang <me@neoto.xin>
Date: Wed, 11 Nov 2020 14:31:21 -0500
Subject: [PATCH] Added delete method for Tasks

---
 src/task.rs | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/task.rs b/src/task.rs
index 4d8989b..c63b4e6 100644
--- a/src/task.rs
+++ b/src/task.rs
@@ -256,6 +256,12 @@ impl Task {
             freertos_rs_get_stack_high_water_mark(self.task_handle) as u32
         }
     }
+
+    pub fn delete(self) {
+        unsafe {
+            freertos_rs_delete_task(self.task_handle as *const _);
+        }
+    }
 }
 
 /// Helper methods to be performed on the task that is currently executing.