From a7d04d633323b4aa5e0d92778e849cbdf8276ec9 Mon Sep 17 00:00:00 2001 From: Joel Sherrill Date: Tue, 27 Sep 2011 00:58:42 +0000 Subject: 2011-09-26 Petr Benes PR 1923/testing * score/src/schedulercbsgetexecutiontime.c: Improve coverage. --- cpukit/ChangeLog | 5 +++++ cpukit/score/src/schedulercbsgetexecutiontime.c | 2 +- 2 files changed, 6 insertions(+), 1 deletion(-) (limited to 'cpukit') diff --git a/cpukit/ChangeLog b/cpukit/ChangeLog index b1595c094e..7cfe2a4f31 100644 --- a/cpukit/ChangeLog +++ b/cpukit/ChangeLog @@ -1,3 +1,8 @@ +2011-09-26 Petr Benes + + PR 1923/testing + * score/src/schedulercbsgetexecutiontime.c: Improve coverage. + 2011-09-24 Sebastian Huber PR 1921/cpukit diff --git a/cpukit/score/src/schedulercbsgetexecutiontime.c b/cpukit/score/src/schedulercbsgetexecutiontime.c index b8d92ada30..2461d76816 100644 --- a/cpukit/score/src/schedulercbsgetexecutiontime.c +++ b/cpukit/score/src/schedulercbsgetexecutiontime.c @@ -31,7 +31,7 @@ int _Scheduler_CBS_Get_execution_time ( return SCHEDULER_CBS_ERROR_INVALID_PARAMETER; if ( !_Scheduler_CBS_Server_list[server_id] ) return SCHEDULER_CBS_ERROR_NOSERVER; - if ( !_Scheduler_CBS_Server_list[server_id]->task_id ) { + if ( _Scheduler_CBS_Server_list[server_id]->task_id == -1 ) { *exec_time = 0; return SCHEDULER_CBS_OK; } -- cgit v1.2.3