--- rpl/src/instructions_d5.c 2016/03/16 12:19:34 1.144 +++ rpl/src/instructions_d5.c 2016/03/16 12:54:22 1.145 @@ -2835,13 +2835,13 @@ instruction_detach(struct_processus *s_e liberation_contexte_cas(s_etat_processus); destruction_queue_signaux(s_etat_processus); - liberation_allocateur(s_etat_processus); - liberation_allocateur_buffer(s_etat_processus); - free((*s_etat_processus).localisation); free((*s_etat_processus).chemin_fichiers_temporaires); free(s_argument_thread); + liberation_allocateur(s_etat_processus); + liberation_allocateur_buffer(s_etat_processus); + 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));