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. */
}
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) */