Added delete method for Tasks

PixelDust22 · PixelDust22 · commit 6c50b5d16779 · 2020-11-11T14:36:33.000-05:00
diff --git 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.

Original file line number	Diff line number	Diff line change
`@@ -256,6 +256,12 @@ impl Task {`
`256`	`256`	`freertos_rs_get_stack_high_water_mark(self.task_handle) as u32`
`257`	`257`	`}`
`258`	`258`	`}`
	`259`	`+`
	`260`	`+ pub fn delete(self) {`
	`261`	`+ unsafe {`
	`262`	`+ freertos_rs_delete_task(self.task_handle as *const _);`
	`263`	`+ }`
	`264`	`+ }`
`259`	`265`	`}`
`260`	`266`
`261`	`267`	`/// Helper methods to be performed on the task that is currently executing.`