--- rpl/src/gestion_threads.c 2011/08/09 10:30:37 1.45 +++ rpl/src/gestion_threads.c 2011/08/30 14:19:28 1.47 @@ -1,6 +1,6 @@ /* ================================================================================ - RPL/2 (R) version 4.1.2 + RPL/2 (R) version 4.1.3 Copyright (C) 1989-2011 Dr. BERTRAND Joël This file is part of RPL/2. @@ -909,6 +909,17 @@ lancement_thread(void *argument) while(l_element_courant != NULL) { l_element_suivant = (*l_element_courant).suivant; + + liberation(s_etat_processus, (*l_element_courant).donnee); + free(l_element_courant); + + l_element_courant = l_element_suivant; + } + + l_element_courant = (*s_etat_processus).l_base_pile_undo; + while(l_element_courant != NULL) + { + l_element_suivant = (*l_element_courant).suivant; liberation(s_etat_processus, (*l_element_courant).donnee); free(l_element_courant);