Index: src/skins/native/task.c =================================================================== --- src/skins/native/task.c (revision 243) +++ src/skins/native/task.c (working copy) @@ -203,12 +203,18 @@ int rt_task_delete (RT_TASK *task) { - int err = XENOMAI_SKINCALL1(__native_muxid, - __native_task_delete, - task); - if (!err) - pthread_cancel((pthread_t)task->opaque2); + int err; + err = pthread_cancel((pthread_t)task->opaque2) + if (err) + return -err; + + err = XENOMAI_SKINCALL1(__native_muxid, + __native_task_delete, + task); + if (err == -ESRCH) + return 0; + return err; }