--- rpl/src/instructions_d5.c 2010/02/10 10:14:21 1.3 +++ rpl/src/instructions_d5.c 2010/03/04 10:09:31 1.5 @@ -2515,9 +2515,11 @@ instruction_detach(struct_processus *s_e liberation(s_etat_processus, s_objet); +# ifndef Cygwin free((*s_etat_processus).pile_signal.ss_sp); - free((*s_etat_processus).definitions_chainees); +# endif + free((*s_etat_processus).definitions_chainees); free((*s_etat_processus).nom_fichier_historique); for(i = 0; i < d_NOMBRE_INTERRUPTIONS; i++) @@ -2573,6 +2575,11 @@ instruction_detach(struct_processus *s_e sem_destroy(&semaphore_gestionnaires_signaux_atomique); clear_history(); + +# ifdef DEBUG_MEMOIRE + debug_memoire_verification(s_etat_processus); +# endif + exit(EXIT_SUCCESS); } else