diff options
Diffstat (limited to 'cpukit/score/src/schedulercbsgetexecutiontime.c')
| -rw-r--r-- | cpukit/score/src/schedulercbsgetexecutiontime.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cpukit/score/src/schedulercbsgetexecutiontime.c b/cpukit/score/src/schedulercbsgetexecutiontime.c index 005cd325ad..e54cb44141 100644 --- a/cpukit/score/src/schedulercbsgetexecutiontime.c +++ b/cpukit/score/src/schedulercbsgetexecutiontime.c @@ -49,9 +49,9 @@ int _Scheduler_CBS_Get_execution_time ( ); /* The routine _Thread_Get may disable dispatch and not enable again. */ if ( the_thread ) { - _Thread_Enable_dispatch(); *exec_time = _Scheduler_CBS_Server_list[server_id]->parameters.budget - the_thread->cpu_time_budget; + _Objects_Put( &the_thread->Object ); } else { *exec_time = _Scheduler_CBS_Server_list[server_id]->parameters.budget; |