diff options
Diffstat (limited to 'cpukit/score/src/schedulercbsgetserverid.c')
-rw-r--r-- | cpukit/score/src/schedulercbsgetserverid.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/cpukit/score/src/schedulercbsgetserverid.c b/cpukit/score/src/schedulercbsgetserverid.c index 0711baee11..235b559d34 100644 --- a/cpukit/score/src/schedulercbsgetserverid.c +++ b/cpukit/score/src/schedulercbsgetserverid.c @@ -30,8 +30,8 @@ int _Scheduler_CBS_Get_server_id ( { unsigned int i; for ( i = 0; i<_Scheduler_CBS_Maximum_servers; i++ ) { - if ( _Scheduler_CBS_Server_list[i] && - _Scheduler_CBS_Server_list[i]->task_id == task_id ) { + if ( _Scheduler_CBS_Server_list[i].initialized && + _Scheduler_CBS_Server_list[i].task_id == task_id ) { *server_id = i; return SCHEDULER_CBS_OK; } |