| 54,5 → 54,20 |
|---|
| (const fsf_contract_parameters_t *contract, |
| fsf_server_id_t server); |
| |
| int adjust_SERVER_budget |
| (int budget, const TIME budget_actual, |
| const TIME period_actual, const TIME dline_actual); |
| |
| int set_SERVER_budget_from_contract |
| (const fsf_contract_parameters_t *contract, |
| int *budget); |
| |
| int relink_contract_to_server(const fsf_contract_parameters_t *contract, |
| fsf_server_id_t server); |
| |
| int link_contract_to_server(const fsf_contract_parameters_t *contract, |
| fsf_server_id_t server); |
| |
| int add_contract(const fsf_contract_parameters_t *contract); |
| |
| #endif |