| /shark/trunk/ports/first/modules/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; |
| } |