/shark/trunk/ports/first/first-server.c/first-server.c |
---|
295,10 → 295,6 |
int local_scheduler_level,scheduler_id; |
#ifdef FSF_DEBUG |
kern_printf("(FSF:Insert thread = %d to Server = %d)",*thread,server); |
#endif |
/* Check if server and thread exsist */ |
if (server == NIL) |
return FSF_ERR_INVALID_SERVER; |
417,7 → 413,7 |
switch (scheduler_id) { |
case FSF_SCHEDULER_POSIX: |
POSIXSTAR_set_nopreemtive_current(local_scheduler_level); |
POSIXSTAR_unset_nopreemtive_current(local_scheduler_level); |
return 1; |
break; |
case FSF_SCHEDULER_EDF: |