--- rpl/src/rpl.c 2016/03/22 17:12:14 1.183 +++ rpl/src/rpl.c 2016/03/22 18:51:54 1.184 @@ -5697,6 +5697,8 @@ rplinit(int argc, char *argv[], char *en retrait_thread(s_etat_processus); + while(nombre_thread_surveillance_processus != 0); + pthread_mutex_destroy(&((*s_etat_processus).mutex_pile_processus)); pthread_mutex_destroy(&((*s_etat_processus).mutex_allocation)); pthread_mutex_destroy(&((*s_etat_processus).mutex_interruptions));