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