Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
moving include/surf to src/include/surf (continued)
[simgrid.git] / src / msg / host.c
index a38cfe1..11aa69a 100644 (file)
@@ -98,7 +98,7 @@ m_host_t MSG_host_self(void)
   return MSG_process_get_host(MSG_process_self());
 }
 
-/**
+/*
  * Real function for destroy a host.
  * MSG_host_destroy is just  a front_end that also removes it from 
  * msg_global->host
@@ -119,6 +119,7 @@ void __MSG_host_destroy(m_host_t host)
   xbt_free(simdata->sleeping);
   xbt_assert0((xbt_fifo_size(simdata->process_list)==0),
              "Some process are still running on this host");
+  xbt_fifo_free(simdata->process_list);
 
   xbt_free(simdata);