--- rpl/src/interruptions.c	2011/08/30 14:19:28	1.61
+++ rpl/src/interruptions.c	2011/09/01 12:14:56	1.62
@@ -986,23 +986,6 @@ liberation_threads(struct_processus *s_e
 				element_courant = element_suivant;
 			}
 
-			element_courant = (*s_etat_processus).l_base_pile_undo;
-			while(element_courant != NULL)
-			{
-				element_suivant = (*((struct_liste_chainee *)
-						element_courant)).suivant;
-
-				pthread_mutex_trylock(&((*(*((struct_liste_chainee *)
-						element_courant)).donnee).mutex));
-				pthread_mutex_unlock(&((*(*((struct_liste_chainee *)
-						element_courant)).donnee).mutex));
-				liberation(s_etat_processus,
-						(*((struct_liste_chainee *) element_courant)).donnee);
-				free(element_courant);
-
-				element_courant = element_suivant;
-			}
-
 			element_courant = (*s_etat_processus).l_base_pile_systeme;
 			while(element_courant != NULL)
 			{
@@ -2008,20 +1991,12 @@ interruption2(SIGHANDLER_ARGS)
 void
 interruption3(SIGHANDLER_ARGS)
 {
-	pid_t					pid;
-
 	struct_processus		*s_etat_processus;
 
 	static int				compteur = 0;
 
 	verrouillage_gestionnaire_signaux();
 
-#	ifdef _BROKEN_SIGINFO
-	pid = origine_signal(signal);
-#	else
-	pid = (*siginfo).si_pid;
-#	endif
-
 	if ((s_etat_processus = recherche_thread(getpid(), pthread_self())) == NULL)
 	{
 		deverrouillage_gestionnaire_signaux();
@@ -2076,18 +2051,10 @@ interruption3(SIGHANDLER_ARGS)
 void
 interruption4(SIGHANDLER_ARGS)
 {
-	pid_t					pid;
-
 	struct_processus		*s_etat_processus;
 
 	verrouillage_gestionnaire_signaux();
 
-#	ifdef _BROKEN_SIGINFO
-	pid = origine_signal(signal);
-#	else
-	pid = (*siginfo).si_pid;
-#	endif
-
 	if ((s_etat_processus = recherche_thread(getpid(), pthread_self())) == NULL)
 	{
 		deverrouillage_gestionnaire_signaux();
@@ -2184,18 +2151,10 @@ interruption5(SIGHANDLER_ARGS)
 void
 interruption6(SIGHANDLER_ARGS)
 {
-	pid_t					pid;
-
 	struct_processus		*s_etat_processus;
 
 	verrouillage_gestionnaire_signaux();
 
-#	ifdef _BROKEN_SIGINFO
-	pid = origine_signal(signal);
-#	else
-	pid = (*siginfo).si_pid;
-#	endif
-
 	if ((s_etat_processus = recherche_thread(getpid(), pthread_self())) == NULL)
 	{
 		deverrouillage_gestionnaire_signaux();
@@ -2216,18 +2175,10 @@ interruption6(SIGHANDLER_ARGS)
 void
 interruption7(SIGHANDLER_ARGS)
 {
-	pid_t					pid;
-
 	struct_processus		*s_etat_processus;
 
 	verrouillage_gestionnaire_signaux();
 
-#	ifdef _BROKEN_SIGINFO
-	pid = origine_signal(signal);
-#	else
-	pid = (*siginfo).si_pid;
-#	endif
-
 	if ((s_etat_processus = recherche_thread(getpid(), pthread_self())) == NULL)
 	{
 		deverrouillage_gestionnaire_signaux();
@@ -2303,18 +2254,10 @@ interruption8(SIGHANDLER_ARGS)
 void
 interruption9(SIGHANDLER_ARGS)
 {
-	pid_t					pid;
-
 	struct_processus		*s_etat_processus;
 
 	verrouillage_gestionnaire_signaux();
 
-#	ifdef _BROKEN_SIGINFO
-	pid = origine_signal(signal);
-#	else
-	pid = (*siginfo).si_pid;
-#	endif
-
 	if ((s_etat_processus = recherche_thread(getpid(), pthread_self())) == NULL)
 	{
 		deverrouillage_gestionnaire_signaux();
@@ -2348,20 +2291,12 @@ interruption10(SIGHANDLER_ARGS)
 {
 	file					*fichier;
 
-	pid_t					pid;
-
 	struct_processus		*s_etat_processus;
 
 	unsigned char			nom[8 + 64 + 1];
 
 	verrouillage_gestionnaire_signaux();
 
-#	ifdef _BROKEN_SIGINFO
-	pid = origine_signal(signal);
-#	else
-	pid = (*siginfo).si_pid;
-#	endif
-
 	if ((s_etat_processus = recherche_thread(getpid(), pthread_self())) == NULL)
 	{
 		deverrouillage_gestionnaire_signaux();