/shark/trunk/ports/first/modules/grubstar.c/grubstar.c |
---|
813,3 → 813,13 |
} |
void GRUBSTAR_disable_server(LEVEL l, int budget) |
{ |
GRUBSTAR_level_des *lev = (GRUBSTAR_level_des *)(level_table[l]); |
/* Force the server in the NOACTIVE state */ |
lev->b[lev->tb[exec_shadow]].flags=GRUBSTAR_NOACTIVE; |
} |