--- rpl/src/interruptions.c	2011/05/09 13:52:23	1.46.2.3
+++ rpl/src/interruptions.c	2011/09/01 12:14:56	1.62
@@ -1,6 +1,6 @@
 /*
 ================================================================================
-  RPL/2 (R) version 4.0.24
+  RPL/2 (R) version 4.1.3
   Copyright (C) 1989-2011 Dr. BERTRAND Joël
 
   This file is part of RPL/2.
@@ -803,25 +803,8 @@ liberation_threads(struct_processus *s_e
 				}
 			}
 
-			for(i = 0; i < (*s_etat_processus).nombre_variables; i++)
-			{
-				pthread_mutex_trylock(&((*(*s_etat_processus)
-						.s_liste_variables[i].objet).mutex));
-				pthread_mutex_unlock(&((*(*s_etat_processus)
-						.s_liste_variables[i].objet).mutex));
-
-				// Les variables de niveau 0 sont des définitions qui
-				// ne sont pas copiées entre threads.
-				if ((*s_etat_processus).s_liste_variables[i].niveau > 0)
-				{
-					liberation(s_etat_processus,
-							(*s_etat_processus).s_liste_variables[i].objet);
-				}
-
-				free((*s_etat_processus).s_liste_variables[i].nom);
-			}
-
-			free((*s_etat_processus).s_liste_variables);
+			liberation_arbre_variables(s_etat_processus,
+					(*s_etat_processus).s_arbre_variables, d_faux);
 
 			for(i = 0; i < (*s_etat_processus).nombre_variables_statiques; i++)
 			{
@@ -1335,6 +1318,7 @@ liberation_threads(struct_processus *s_e
 			sem_destroy2((*s_etat_processus).semaphore_fork, sem_fork);
 #			endif
 
+			liberation_contexte_cas(s_etat_processus);
 			free(s_etat_processus);
 
 			s_etat_processus = candidat;
@@ -2007,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();
@@ -2075,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();
@@ -2183,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();
@@ -2215,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();
@@ -2302,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();
@@ -2347,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();