/shark/trunk/ports/first/first-server.c |
---|
172,8 → 172,6 |
POSIXSTAR_setbudget(local_scheduler_level, *thread, (int)(server)); |
task_activate(*thread); |
break; |
case FSF_SCHEDULER_EDF: |
186,8 → 184,6 |
EDFSTAR_setbudget(local_scheduler_level, *thread, (int)(server)); |
task_activate(*thread); |
break; |
case FSF_SCHEDULER_RM: |
201,8 → 197,6 |
RMSTAR_setbudget(local_scheduler_level, *thread, (int)(server)); |
task_activate(*thread); |
break; |
case FSF_SCHEDULER_MPEG: |