| 34,7 → 34,7 |
|---|
| * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA |
| * |
| * |
| * CVS : $Id: server-task.c,v 1.11 2004-11-24 09:06:36 trimarchi Exp $ |
| * CVS : $Id: server-task.c,v 1.12 2004-11-24 10:24:43 trimarchi Exp $ |
| */ |
| |
| #include "ll/i386/64bit.h" |
| 151,7 → 151,7 |
|---|
| #ifdef FSF_DEBUG |
| kern_printf("(1 - Q %ld T %ld)", server_list[i].actual_budget, server_list[i].actual_period); |
| #endif |
| if (server_list[i].d_equals_t == true) |
| if (server_list[i].d_equals_t == false) |
| adjust_SERVER_budget(server_list[i].server,server_list[i].Cmin, T, T); |
| else |
| adjust_SERVER_budget(server_list[i].server,server_list[i].Cmin, T, server_list[i].deadline); |
| 164,7 → 164,7 |
|---|
| kern_printf("(2 - Q %ld T %ld)", server_list[i].actual_budget, server_list[i].actual_period); |
| #endif |
| |
| if (server_list[i].d_equals_t == true) |
| if (server_list[i].d_equals_t == false) |
| adjust_SERVER_budget(server_list[i].server,server_list[i].Cmin, server_list[i].Tmin, server_list[i].Tmin); |
| else |
| adjust_SERVER_budget(server_list[i].server,server_list[i].Cmin, server_list[i].Tmin, server_list[i].deadline); |