diff options
Diffstat (limited to 'cpukit/score/src/schedulercbscleanup.c')
-rw-r--r-- | cpukit/score/src/schedulercbscleanup.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/cpukit/score/src/schedulercbscleanup.c b/cpukit/score/src/schedulercbscleanup.c index 795b16a5dc..01dd0d8317 100644 --- a/cpukit/score/src/schedulercbscleanup.c +++ b/cpukit/score/src/schedulercbscleanup.c @@ -26,9 +26,8 @@ int _Scheduler_CBS_Cleanup (void) unsigned int i; for ( i = 0; i<_Scheduler_CBS_Maximum_servers; i++ ) { - if ( _Scheduler_CBS_Server_list[ i ] ) + if ( _Scheduler_CBS_Server_list[ i ].initialized ) _Scheduler_CBS_Destroy_server( i ); } - _Workspace_Free( _Scheduler_CBS_Server_list ); return SCHEDULER_CBS_OK; } |