From 04bf7cbf607fdf0cda44396a00baf98f66f34fe0 Mon Sep 17 00:00:00 2001 From: Ralf Corsepius Date: Tue, 6 Dec 2011 07:12:42 +0000 Subject: =?UTF-8?q?2011-12-06=09Ralf=20Cors=C3=A9pius=20?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * score/src/schedulercbsattachthread.c, score/src/schedulercbsdestroyserver.c, score/src/schedulercbsdetachthread.c, score/src/schedulercbsgetapprovedbudget.c, score/src/schedulercbsgetexecutiontime.c, score/src/schedulercbsgetparameters.c, score/src/schedulercbsgetremainingbudget.c, score/src/schedulercbssetparameters.c: Remove checks for server_id < 0 (server_id is unsigned). --- cpukit/score/src/schedulercbsgetexecutiontime.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'cpukit/score/src/schedulercbsgetexecutiontime.c') diff --git a/cpukit/score/src/schedulercbsgetexecutiontime.c b/cpukit/score/src/schedulercbsgetexecutiontime.c index 2461d76816..5cea3101c0 100644 --- a/cpukit/score/src/schedulercbsgetexecutiontime.c +++ b/cpukit/score/src/schedulercbsgetexecutiontime.c @@ -27,7 +27,7 @@ int _Scheduler_CBS_Get_execution_time ( Objects_Locations location; Thread_Control *the_thread; - 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; -- cgit v1.2.3