boundTaskExiting(task);
stopTaskManager();
}
- closeMutex(&sched_mutex);
#endif
}
freeScheduler( void )
{
freeTaskManager();
+#if defined(THREADED_RTS)
+ closeMutex(&sched_mutex);
+#endif
}
/* ---------------------------------------------------------------------------