- while ((p = xbt_fifo_pop(msg_global->process_list))) {
- MSG_process_kill(p);
- }
-
- xbt_fifo_foreach(msg_global->host, i, h, m_host_t) {
- __MSG_host_destroy(h);
- }
- xbt_fifo_free(msg_global->host);
- xbt_fifo_free(msg_global->process_list);
-
- free(msg_global);
- msg_global = NULL;
-
- /* cleanup all resources in the mailbox module */
- MSG_mailbox_mod_exit();