return ret;
}
+void frsh_destroy()
+{
+ forb_destroy(frsh_forb_global.orb);
+
+ pthread_cancel(frsh_forb_global.alloc_executor_thread.pthread_id);
+ pthread_join(frsh_forb_global.alloc_executor_thread.pthread_id, NULL);
+
+ /* TODO: Destroy all FRAs etc. */
+}
+
+
+
bool frsh_config_is_admission_test_enabled()
{
return true;
frsh_resource_id_t frsh_get_local_cpu_id(void)
{
- frsh_resource_id_t id;
long int ret = FRSH_CPU_ID_DEFAULT;
if (getenv("FRSH_CPU_ID")) {
errno = 0; /* See strtol(1) */