Delete task that holds Mutex

rtel wrote on Wednesday, November 02, 2016:

Do not delete a task that holds a mutex. Have the mutex released first,
then delete the task.