os_delete_task

#include <rtx51tny.h>

char os_delete_task (
  unsigned char task_id);       /* task to delete */

The os_delete_task function stops the task specified by task_id and removes it from the task list.

Note

• This function is part of the RTX51 Tiny Real-Time Operating System which is included only with the PK51 Professional Developer's Kit.

Note

• A task switch is performed immediately if a task deletes itself.

#include <rtx51tny.h>
#include <stdio.h>            /* for printf */

void tst_os_delete_task (void) _task_ 0
{
.
.
.
if (os_delete_task (2))
  {
  printf ("Couldn't stop task 2\n");
  }
.
.
.
}