/shark/trunk/ports/first/first-server.c/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; |
} |