--- rpl/src/interruptions.c	2010/09/11 16:46:19	1.40
+++ rpl/src/interruptions.c	2011/08/09 11:31:36	1.60
@@ -1,7 +1,7 @@
 /*
 ================================================================================
-  RPL/2 (R) version 4.0.19
-  Copyright (C) 1989-2010 Dr. BERTRAND Joël
+  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;
@@ -1604,12 +1588,12 @@ verrouillage_gestionnaire_signaux()
 		// ce que ce soit possible.
 
 #		ifndef SEMAPHORES_NOMMES
-		while(sem_trywait(&semaphore_liste_threads) == -1)
+		while(sem_wait(&semaphore_liste_threads) == -1)
 #		else
-		while(sem_trywait(semaphore_liste_threads) == -1)
+		while(sem_wait(semaphore_liste_threads) == -1)
 #		endif
 		{
-			if ((errno != EINTR) && (errno != EAGAIN))
+			if (errno != EINTR)
 			{
 				pthread_sigmask(SIG_SETMASK, &oldset, NULL);
 
@@ -1625,8 +1609,6 @@ verrouillage_gestionnaire_signaux()
 				BUG(1, uprintf("Lock error !\n"));
 				return;
 			}
-
-			sched_yield();
 		}
 	}
 
@@ -1750,7 +1732,7 @@ interruption1(SIGHANDLER_ARGS)
 	verrouillage_gestionnaire_signaux();
 
 #	ifdef _BROKEN_SIGINFO
-	if (signal == SIGINT)
+	if ((signal == SIGINT) || (signal == SIGTERM))
 	{
 		// Si l'interruption provient du clavier, il n'y a pas eu d'appel
 		// à queue_in().
@@ -1814,6 +1796,7 @@ interruption1(SIGHANDLER_ARGS)
 		}
 
 		case SIGINT :
+		case SIGTERM :
 		{
 			/*
 			 * Une vieille spécification POSIX permet au pointeur siginfo
@@ -1839,8 +1822,17 @@ interruption1(SIGHANDLER_ARGS)
 
 				if (((*s_etat_processus).type_debug & d_debug_signaux) != 0)
 				{
-					printf("[%d] SIGINT (thread %llu)\n", (int) getpid(),
-							(unsigned long long) pthread_self());
+					if (signal == SIGINT)
+					{
+						printf("[%d] SIGINT (thread %llu)\n", (int) getpid(),
+								(unsigned long long) pthread_self());
+					}
+					else
+					{
+						printf("[%d] SIGTERM (thread %llu)\n", (int) getpid(),
+								(unsigned long long) pthread_self());
+					}
+
 					fflush(stdout);
 				}
 
@@ -1862,16 +1854,19 @@ interruption1(SIGHANDLER_ARGS)
 						return;
 					}
 
-					if (strncmp(getenv("LANG"), "fr", 2) == 0)
-					{
-						printf("+++Interruption\n");
-					}
-					else
+					if (signal == SIGINT)
 					{
-						printf("+++Interrupt\n");
-					}
+						if (strncmp(getenv("LANG"), "fr", 2) == 0)
+						{
+							printf("+++Interruption\n");
+						}
+						else
+						{
+							printf("+++Interrupt\n");
+						}
 
-					fflush(stdout);
+						fflush(stdout);
+					}
 
 					(*s_etat_processus).var_volatile_requete_arret = -1;
 					(*s_etat_processus).var_volatile_alarme = -1;