| /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; |
| } |
| } |