diff options
Diffstat (limited to 'cpukit/score/src/schedulercbsgetapprovedbudget.c')
| -rw-r--r-- | cpukit/score/src/schedulercbsgetapprovedbudget.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cpukit/score/src/schedulercbsgetapprovedbudget.c b/cpukit/score/src/schedulercbsgetapprovedbudget.c index 14db13031f..369d39378a 100644 --- a/cpukit/score/src/schedulercbsgetapprovedbudget.c +++ b/cpukit/score/src/schedulercbsgetapprovedbudget.c @@ -23,7 +23,7 @@ int _Scheduler_CBS_Get_approved_budget ( time_t *approved_budget ) { - if ( server_id < 0 || server_id >= _Scheduler_CBS_Maximum_servers ) + if ( server_id >= _Scheduler_CBS_Maximum_servers ) return SCHEDULER_CBS_ERROR_INVALID_PARAMETER; if ( !_Scheduler_CBS_Server_list[server_id] ) return SCHEDULER_CBS_ERROR_NOSERVER; |