diff options
Diffstat (limited to 'cpukit/score/src/schedulercbsgetapprovedbudget.c')
| -rw-r--r-- | cpukit/score/src/schedulercbsgetapprovedbudget.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/cpukit/score/src/schedulercbsgetapprovedbudget.c b/cpukit/score/src/schedulercbsgetapprovedbudget.c index 560849ec3c..d1ea5ce0ed 100644 --- a/cpukit/score/src/schedulercbsgetapprovedbudget.c +++ b/cpukit/score/src/schedulercbsgetapprovedbudget.c @@ -30,9 +30,9 @@ int _Scheduler_CBS_Get_approved_budget ( { if ( server_id >= _Scheduler_CBS_Maximum_servers ) return SCHEDULER_CBS_ERROR_INVALID_PARAMETER; - if ( !_Scheduler_CBS_Server_list[server_id] ) + if ( !_Scheduler_CBS_Server_list[server_id].initialized ) return SCHEDULER_CBS_ERROR_NOSERVER; - *approved_budget = _Scheduler_CBS_Server_list[server_id]->parameters.budget; + *approved_budget = _Scheduler_CBS_Server_list[server_id].parameters.budget; return SCHEDULER_CBS_OK; } |