/shark/trunk/ports/first/first-server.c |
---|
207,11 → 207,11 |
#ifdef FSF_DEBUG |
kern_printf("(Q %ld)", Q); |
#endif |
server_list[i].U=server_list[i].Umax; |
server_list[i].actual_budget = Q; |
server_list[i].actual_period = server_list[i].Tmax; |
adjust_SERVER_budget(server_list[i].server,Q, server_list[i].Tmax); |
} |
server_list[i].U=server_list[i].Umax; |
} |
} |