score: Fix _Scheduler_EDF_Yield()

A non-preemptive task must yield if it says so.
This commit is contained in:
Sebastian Huber
2016-06-24 10:28:02 +02:00
parent 51e008dda1
commit a4a307dfbd
+1 -1
View File
@@ -34,7 +34,7 @@ Scheduler_Void_or_thread _Scheduler_EDF_Yield(
_Scheduler_EDF_Extract( context, node );
_Scheduler_EDF_Enqueue( context, node, node->current_priority );
_Scheduler_EDF_Schedule_body( scheduler, the_thread, false );
_Scheduler_EDF_Schedule_body( scheduler, the_thread, true );
SCHEDULER_RETURN_VOID_OR_NULL;
}