| /shark/trunk/ports/first/first-server.c |
|---|
| 669,6 → 669,10 |
| int fsf_get_remain_budget(fsf_server_id_t server) { |
| return SERVER_get_remain_capacity(fsf_server_level, server); |
| int remain; |
| remain = SERVER_get_remain_capacity(fsf_server_level, server); |
| if (remain<0) return 0; |
| return remain; |
| } |