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);
- forb_destroy(frsh_forb_global.orb);
/* TODO: Destroy all FRAs etc. */
}