/shark/trunk/ports/first/first-server.c |
---|
386,8 → 386,7 |
switch (scheduler_id) { |
case FSF_SCHEDULER_POSIX: |
POSIXSTAR_set_nopreemtive_current(local_scheduler_level); |
return 1; |
break; |
case FSF_SCHEDULER_EDF: |
EDFSTAR_set_nopreemtive_current(local_scheduler_level); |
417,8 → 416,7 |
switch (scheduler_id) { |
case FSF_SCHEDULER_POSIX: |
POSIXSTAR_set_nopreemtive_current(local_scheduler_level); |
return 1; |
break; |
case FSF_SCHEDULER_EDF: |
EDFSTAR_unset_nopreemtive_current(local_scheduler_level); |