]> rtime.felk.cvut.cz Git - frescor/frsh-forb.git/blobdiff - src/frsh/frsh_api/frsh_core.c
Destroy forb in the correct order
[frescor/frsh-forb.git] / src / frsh / frsh_api / frsh_core.c
index 3ad34b73f4f4fb18cc0b44c728c0670b1e27f110..1e17525f152f9aced0f34833df4e2e46ece28f82 100644 (file)
@@ -161,10 +161,11 @@ err:
 
 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. */
 }