1 files changed, 40 insertions, 0 deletions
diff --git a/cpukit/score/src/schedulercbsdestroyserver.c b/cpukit/score/src/schedulercbsdestroyserver.c
new file mode 100644
index 0000000000..85867cf7dc
--- /dev/null
+++ b/cpukit/score/src/schedulercbsdestroyserver.c
@@ -0,0 +1,40 @@
+/*
+ *  Copyright (C) 2011 Petr Benes.
+ *  Copyright (C) 2011 On-Line Applications Research Corporation (OAR).
+ *
+ *  The license and distribution terms for this file may be
+ *  found in the file LICENSE in this distribution or at
+ *  http://www.rtems.com/license/LICENSE.
+ *
+ *  $Id$
+ */
+
+#if HAVE_CONFIG_H
+#include "config.h"
+#endif
+
+#include <rtems/system.h>
+#include <rtems/config.h>
+#include <rtems/score/scheduler.h>
+#include <rtems/score/schedulercbs.h>
+
+int _Scheduler_CBS_Destroy_server (
+  Scheduler_CBS_Server_id server_id
+)
+{
+  int ret = SCHEDULER_CBS_OK;
+  rtems_id tid;
+
+  if ( server_id < 0 || server_id >= _Scheduler_CBS_Maximum_servers )
+    return SCHEDULER_CBS_ERROR_INVALID_PARAMETER;
+
+  if ( !_Scheduler_CBS_Server_list[server_id] )
+    return SCHEDULER_CBS_ERROR_NOSERVER;
+
+  if ( (tid = _Scheduler_CBS_Server_list[server_id]->task_id) != -1 )
+    ret = _Scheduler_CBS_Detach_thread ( server_id, tid );
+
+  _Workspace_Free( _Scheduler_CBS_Server_list[server_id] );
+  _Scheduler_CBS_Server_list[server_id] = NULL;
+  return ret;
+}