--- rpl/src/gestion_threads.c 2011/08/09 11:31:30 1.46 +++ rpl/src/gestion_threads.c 2011/08/30 14:19:28 1.47 @@ -916,6 +916,17 @@ lancement_thread(void *argument) 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); + + l_element_courant = l_element_suivant; + } + l_element_courant = (*s_etat_processus).l_base_pile_contextes; while(l_element_courant != NULL) {