--- rpl/src/rpl.c 2016/03/18 12:43:48 1.182 +++ rpl/src/rpl.c 2016/03/22 18:51:54 1.184 @@ -123,6 +123,7 @@ rplinit(int argc, char *argv[], char *en errno = 0; s_queue_signaux = NULL; routine_recursive = 0; + nombre_thread_surveillance_processus = 0; pid_processus_pere = getpid(); # ifdef DEBUG_MEMOIRE @@ -5696,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));