Diff for /rpl/src/rpl.c between versions 1.125 and 1.160

version 1.125, 2012/12/13 16:59:43 version 1.160, 2014/07/24 14:38:44
Line 1 Line 1
 /*  /*
 ================================================================================  ================================================================================
   RPL/2 (R) version 4.1.11    RPL/2 (R) version 4.1.19
   Copyright (C) 1989-2012 Dr. BERTRAND Joël    Copyright (C) 1989-2014 Dr. BERTRAND Joël
   
   This file is part of RPL/2.    This file is part of RPL/2.
   
Line 23 Line 23
 #define  MAIN_RPL  #define  MAIN_RPL
 #include "rpl-conv.h"  #include "rpl-conv.h"
   
   // Bug de gcc à partir de gcc 4.6 (bug 48544)
   #pragma GCC diagnostic push
   #pragma GCC diagnostic ignored "-Wclobbered"
   
   
 /*  /*
 ================================================================================  ================================================================================
Line 51  rplinit(int argc, char *argv[], char *en Line 55  rplinit(int argc, char *argv[], char *en
     int                                 erreur_historique;      int                                 erreur_historique;
     int                                 option_P;      int                                 option_P;
   
       integer8                            i;
   
     logical1                            core;      logical1                            core;
     logical1                            debug;      logical1                            debug;
     logical1                            erreur_fichier;      logical1                            erreur_fichier;
Line 80  rplinit(int argc, char *argv[], char *en Line 86  rplinit(int argc, char *argv[], char *en
   
     struct_processus                    *s_etat_processus;      struct_processus                    *s_etat_processus;
   
       struct_liste_variables_partagees    *l_element_partage_courant;
       struct_liste_variables_partagees    *l_element_partage_suivant;
   
     struct_liste_variables_statiques    *l_element_statique_courant;      struct_liste_variables_statiques    *l_element_statique_courant;
     struct_liste_variables_statiques    *l_element_statique_suivant;      struct_liste_variables_statiques    *l_element_statique_suivant;
   
       struct_arbre_variables_partagees    *s_arbre_variables_partagees;
       struct_liste_variables_partagees    *l_liste_variables_partagees;
   
     struct sigaction                    action;      struct sigaction                    action;
     struct sigaction                    registre;      struct sigaction                    registre;
   
Line 100  rplinit(int argc, char *argv[], char *en Line 112  rplinit(int argc, char *argv[], char *en
     unsigned char                       *ptr;      unsigned char                       *ptr;
     unsigned char                       *tampon;      unsigned char                       *tampon;
   
     unsigned long                       i;  
     unsigned long                       unite_fichier;      unsigned long                       unite_fichier;
   
     void                                *l_element_courant;      void                                *l_element_courant;
Line 121  rplinit(int argc, char *argv[], char *en Line 132  rplinit(int argc, char *argv[], char *en
     setvbuf(stdout, NULL, _IOLBF, 0);      setvbuf(stdout, NULL, _IOLBF, 0);
     setvbuf(stderr, NULL, _IOLBF, 0);      setvbuf(stderr, NULL, _IOLBF, 0);
   
 #   ifndef SEMAPHORES_NOMMES  
     sem_init(&semaphore_gestionnaires_signaux, 0, 0);  
 #   else  
     semaphore_gestionnaires_signaux = sem_init2(0, getpid(), SEM_SIGNAUX);  
       
     if (semaphore_gestionnaires_signaux == SEM_FAILED)  
     {  
         erreur = d_es_allocation_memoire;  
   
         if ((langue = getenv("LANG")) != NULL)  
         {  
             if (strncmp(langue, "fr", 2) == 0)  
             {  
                 uprintf("+++Système : Mémoire insuffisante\n");  
             }  
             else  
             {  
                 uprintf("+++System : Not enough memory\n");  
             }  
         }  
         else  
         {  
             uprintf("+++System : Not enough memory\n");  
         }  
   
         return(EXIT_FAILURE);  
     }  
 #   endif  
   
     if ((s_etat_processus = malloc(sizeof(struct_processus))) == NULL)      if ((s_etat_processus = malloc(sizeof(struct_processus))) == NULL)
     {      {
 #       ifndef SEMAPHORES_NOMMES  
         sem_post(&semaphore_gestionnaires_signaux);  
         sem_destroy(&semaphore_gestionnaires_signaux);  
 #       else  
         sem_post(semaphore_gestionnaires_signaux);  
         sem_destroy2(semaphore_gestionnaires_signaux, getpid(), SEM_SIGNAUX);  
 #       endif  
   
         erreur = d_es_allocation_memoire;          erreur = d_es_allocation_memoire;
   
         if ((langue = getenv("LANG")) != NULL)          if ((langue = getenv("LANG")) != NULL)
Line 193  rplinit(int argc, char *argv[], char *en Line 167  rplinit(int argc, char *argv[], char *en
   
     if (getcwd(repertoire_initial, RPL_PATH_MAX) == NULL)      if (getcwd(repertoire_initial, RPL_PATH_MAX) == NULL)
     {      {
 #       ifndef SEMAPHORES_NOMMES  
         sem_post(&semaphore_gestionnaires_signaux);  
         sem_destroy(&semaphore_gestionnaires_signaux);  
 #       else  
         sem_post(semaphore_gestionnaires_signaux);  
         sem_destroy2(semaphore_gestionnaires_signaux, getpid(), SEM_SIGNAUX);  
 #       endif  
   
         if ((*s_etat_processus).langue == 'F')          if ((*s_etat_processus).langue == 'F')
         {          {
             uprintf("+++Système : Mémoire insuffisante\n");              uprintf("+++Système : Mémoire insuffisante\n");
Line 213  rplinit(int argc, char *argv[], char *en Line 179  rplinit(int argc, char *argv[], char *en
         return(EXIT_FAILURE);          return(EXIT_FAILURE);
     }      }
   
     if ((arg_exec = malloc((argc + 1) * sizeof(char *))) == NULL)      if ((arg_exec = malloc((((size_t) argc) + 1) * sizeof(char *))) == NULL)
     {      {
 #       ifndef SEMAPHORES_NOMMES  
         sem_post(&semaphore_gestionnaires_signaux);  
         sem_destroy(&semaphore_gestionnaires_signaux);  
 #       else  
         sem_post(semaphore_gestionnaires_signaux);  
         sem_destroy2(semaphore_gestionnaires_signaux, getpid(), SEM_SIGNAUX);  
 #       endif  
   
         if ((*s_etat_processus).langue == 'F')          if ((*s_etat_processus).langue == 'F')
         {          {
             uprintf("+++Système : Mémoire insuffisante\n");              uprintf("+++Système : Mémoire insuffisante\n");
Line 235  rplinit(int argc, char *argv[], char *en Line 193  rplinit(int argc, char *argv[], char *en
         return(EXIT_FAILURE);          return(EXIT_FAILURE);
     }      }
   
     for(i = 0; i < (unsigned long) argc; i++)      for(i = 0; i < argc; i++)
     {      {
         arg_exec[i] = argv[i];          arg_exec[i] = argv[i];
     }      }
Line 253  rplinit(int argc, char *argv[], char *en Line 211  rplinit(int argc, char *argv[], char *en
   
     pthread_mutexattr_init(&attributs_mutex);      pthread_mutexattr_init(&attributs_mutex);
     pthread_mutexattr_settype(&attributs_mutex, PTHREAD_MUTEX_NORMAL);      pthread_mutexattr_settype(&attributs_mutex, PTHREAD_MUTEX_NORMAL);
     pthread_mutex_init(&((*s_etat_processus).mutex), &attributs_mutex);      pthread_mutex_init(&((*s_etat_processus).mutex_pile_processus),
               &attributs_mutex);
       pthread_mutexattr_destroy(&attributs_mutex);
   
       pthread_mutexattr_init(&attributs_mutex);
       pthread_mutexattr_settype(&attributs_mutex, PTHREAD_MUTEX_NORMAL);
       pthread_mutex_init(&((*s_etat_processus).mutex_interruptions),
               &attributs_mutex);
       pthread_mutexattr_destroy(&attributs_mutex);
   
       pthread_mutexattr_init(&attributs_mutex);
       pthread_mutexattr_settype(&attributs_mutex, PTHREAD_MUTEX_NORMAL);
       pthread_mutex_init(&((*s_etat_processus).mutex_signaux),
               &attributs_mutex);
     pthread_mutexattr_destroy(&attributs_mutex);      pthread_mutexattr_destroy(&attributs_mutex);
   
     pthread_mutexattr_init(&attributs_mutex);      pthread_mutexattr_init(&attributs_mutex);
Line 267  rplinit(int argc, char *argv[], char *en Line 238  rplinit(int argc, char *argv[], char *en
     pthread_mutex_init(&mutex_sections_critiques, &attributs_mutex);      pthread_mutex_init(&mutex_sections_critiques, &attributs_mutex);
     pthread_mutexattr_destroy(&attributs_mutex);      pthread_mutexattr_destroy(&attributs_mutex);
   
       pthread_mutexattr_init(&attributs_mutex);
       pthread_mutexattr_settype(&attributs_mutex, PTHREAD_MUTEX_RECURSIVE);
       pthread_mutex_init(&mutex_liste_variables_partagees, &attributs_mutex);
       pthread_mutexattr_destroy(&attributs_mutex);
   
 #   ifndef SEMAPHORES_NOMMES  #   ifndef SEMAPHORES_NOMMES
         sem_init(&((*s_etat_processus).semaphore_fork), 0, 0);          sem_init(&((*s_etat_processus).semaphore_fork), 0, 0);
 #   else  #   else
         if (((*s_etat_processus).semaphore_fork = sem_init3(0, getpid(),          if (((*s_etat_processus).semaphore_fork = sem_init3(0, getpid(),
                 pthread_self(), SEM_FORK)) == SEM_FAILED)                  pthread_self(), SEM_FORK)) == SEM_FAILED)
         {          {
 #           ifndef SEMAPHORES_NOMMES              liberation_contexte_cas(s_etat_processus);
                 sem_post(&semaphore_gestionnaires_signaux);  
                 sem_destroy(&semaphore_gestionnaires_signaux);  
 #           else  
                 sem_post(semaphore_gestionnaires_signaux);  
                 sem_destroy2(semaphore_gestionnaires_signaux, getpid(),  
                         SEM_SIGNAUX);  
 #           endif  
   
             liberation(contexte_cas(s_etat_processus);  
   
             if ((*s_etat_processus).langue == 'F')              if ((*s_etat_processus).langue == 'F')
             {              {
Line 313  rplinit(int argc, char *argv[], char *en Line 280  rplinit(int argc, char *argv[], char *en
     {      {
 #       ifndef SEMAPHORES_NOMMES  #       ifndef SEMAPHORES_NOMMES
             sem_post(&((*s_etat_processus).semaphore_fork));              sem_post(&((*s_etat_processus).semaphore_fork));
             sem_post(&semaphore_gestionnaires_signaux);  
             sem_destroy(&semaphore_gestionnaires_signaux);  
             sem_destroy(&((*s_etat_processus).semaphore_fork));              sem_destroy(&((*s_etat_processus).semaphore_fork));
 #       else  #       else
             sem_post((*s_etat_processus).semaphore_fork);              sem_post((*s_etat_processus).semaphore_fork);
             sem_post(semaphore_gestionnaires_signaux);              sem_destroy3((*s_etat_processus).semaphore_fork, getpid(),
             sem_destroy2(semaphore_gestionnaires_signaux, getpid(),  
                     SEM_SIGNAUX);  
             sem_destroy3((*s_etat_processus).semphore_fork, getpid(),  
                     pthread_self(), SEM_FORK);                      pthread_self(), SEM_FORK);
 #       endif  #       endif
   
Line 345  rplinit(int argc, char *argv[], char *en Line 307  rplinit(int argc, char *argv[], char *en
     }      }
     else      else
     {      {
 #       ifndef SEMAPHORES_NOMMES  
             sem_post(&((*s_etat_processus).semaphore_fork));  
             sem_post(&semaphore_gestionnaires_signaux);  
             sem_destroy(&semaphore_gestionnaires_signaux);  
             sem_destroy(&((*s_etat_processus).semaphore_fork));  
 #       else  
             sem_post((*s_etat_processus).semaphore_fork);  
             sem_post(semaphore_gestionnaires_signaux);  
             sem_destroy2(semaphore_gestionnaires_signaux, getpid(),  
                     SEM_SIGNAUX);  
             sem_destroy3((*s_etat_processus).semphore_fork, getpid(),  
                     pthread_self(), SEM_FORK);  
 #       endif  
   
         liberation_contexte_cas(s_etat_processus);  
         liberation_queue_signaux(s_etat_processus);  
   
         if (((*s_etat_processus).localisation = malloc((strlen(d_locale)          if (((*s_etat_processus).localisation = malloc((strlen(d_locale)
                 + 1) * sizeof(unsigned char))) == NULL)                  + 1) * sizeof(unsigned char))) == NULL)
         {          {
   #           ifndef SEMAPHORES_NOMMES
                   sem_post(&((*s_etat_processus).semaphore_fork));
                   sem_destroy(&((*s_etat_processus).semaphore_fork));
   #           else
                   sem_post((*s_etat_processus).semaphore_fork);
                   sem_destroy3((*s_etat_processus).semaphore_fork, getpid(),
                           pthread_self(), SEM_FORK);
   #           endif
   
               liberation_contexte_cas(s_etat_processus);
               liberation_queue_signaux(s_etat_processus);
   
             if ((*s_etat_processus).langue == 'F')              if ((*s_etat_processus).langue == 'F')
             {              {
                 uprintf("+++Système : Mémoire insuffisante\n");                  uprintf("+++Système : Mémoire insuffisante\n");
Line 389  rplinit(int argc, char *argv[], char *en Line 346  rplinit(int argc, char *argv[], char *en
         {          {
 #           ifndef SEMAPHORES_NOMMES  #           ifndef SEMAPHORES_NOMMES
                 sem_post(&((*s_etat_processus).semaphore_fork));                  sem_post(&((*s_etat_processus).semaphore_fork));
                 sem_post(&semaphore_gestionnaires_signaux);  
                 sem_destroy(&semaphore_gestionnaires_signaux);  
                 sem_destroy(&((*s_etat_processus).semaphore_fork));                  sem_destroy(&((*s_etat_processus).semaphore_fork));
 #           else  #           else
                 sem_post((*s_etat_processus).semaphore_fork);                  sem_post((*s_etat_processus).semaphore_fork);
                 sem_post(semaphore_gestionnaires_signaux);                  sem_destroy3((*s_etat_processus).semaphore_fork, getpid(),
                 sem_destroy2(semaphore_gestionnaires_signaux, getpid(),  
                         SEM_SIGNAUX);  
                 sem_destroy3((*s_etat_processus).semphore_fork, getpid(),  
                         pthread_self(), SEM_FORK);                          pthread_self(), SEM_FORK);
 #           endif  #           endif
   
Line 419  rplinit(int argc, char *argv[], char *en Line 371  rplinit(int argc, char *argv[], char *en
         strcpy((*s_etat_processus).localisation, d_locale);          strcpy((*s_etat_processus).localisation, d_locale);
     }      }
   
     printf("+++RPL/2 (R) version %s (%s)\n", d_version_rpl,      if (resultats == NULL) // Appel direct
             ((*s_etat_processus).langue == 'F') ? d_date_rpl : d_date_en_rpl);  
   
     if ((*s_etat_processus).langue == 'F')  
     {  
         printf("+++Copyright (C) 1989 à 2011, 2012 BERTRAND Joël\n");  
     }  
     else  
     {      {
         printf("+++Copyright (C) 1989 to 2011, 2012 BERTRAND Joel\n");          printf("+++RPL/2 (R) version %s (%s)\n", d_version_rpl,
                   ((*s_etat_processus).langue == 'F')
                   ? d_date_rpl : d_date_en_rpl);
   
           if ((*s_etat_processus).langue == 'F')
           {
               printf("+++Copyright (C) 1989 à 2013, 2014 BERTRAND Joël\n");
           }
           else
           {
               printf("+++Copyright (C) 1989 to 2013, 2014 BERTRAND Joel\n");
           }
     }      }
   
     if (getenv("HOME") != NULL)      if (getenv("HOME") != NULL)
Line 459  rplinit(int argc, char *argv[], char *en Line 415  rplinit(int argc, char *argv[], char *en
         {          {
 #           ifndef SEMAPHORES_NOMMES  #           ifndef SEMAPHORES_NOMMES
                 sem_post(&((*s_etat_processus).semaphore_fork));                  sem_post(&((*s_etat_processus).semaphore_fork));
                 sem_post(&semaphore_gestionnaires_signaux);  
                 sem_destroy(&semaphore_gestionnaires_signaux);  
                 sem_destroy(&((*s_etat_processus).semaphore_fork));                  sem_destroy(&((*s_etat_processus).semaphore_fork));
 #           else  #           else
                 sem_post((*s_etat_processus).semaphore_fork);                  sem_post((*s_etat_processus).semaphore_fork);
                 sem_post(semaphore_gestionnaires_signaux);                  sem_destroy3((*s_etat_processus).semaphore_fork, getpid(),
                 sem_destroy2(semaphore_gestionnaires_signaux, getpid(),  
                         SEM_SIGNAUX);  
                 sem_destroy3((*s_etat_processus).semphore_fork, getpid(),  
                         pthread_self(), SEM_FORK);                          pthread_self(), SEM_FORK);
 #           endif  #           endif
   
Line 506  rplinit(int argc, char *argv[], char *en Line 457  rplinit(int argc, char *argv[], char *en
     {      {
 #       ifndef SEMAPHORES_NOMMES  #       ifndef SEMAPHORES_NOMMES
             sem_post(&((*s_etat_processus).semaphore_fork));              sem_post(&((*s_etat_processus).semaphore_fork));
             sem_post(&semaphore_gestionnaires_signaux);  
             sem_destroy(&semaphore_gestionnaires_signaux);  
             sem_destroy(&((*s_etat_processus).semaphore_fork));              sem_destroy(&((*s_etat_processus).semaphore_fork));
 #       else  #       else
             sem_post((*s_etat_processus).semaphore_fork);              sem_post((*s_etat_processus).semaphore_fork);
             sem_post(semaphore_gestionnaires_signaux);              sem_destroy3((*s_etat_processus).semaphore_fork, getpid(),
             sem_destroy2(semaphore_gestionnaires_signaux, getpid(),  
                     SEM_SIGNAUX);  
             sem_destroy3((*s_etat_processus).semphore_fork, getpid(),  
                     pthread_self(), SEM_FORK);                      pthread_self(), SEM_FORK);
 #       endif  #       endif
   
Line 547  rplinit(int argc, char *argv[], char *en Line 493  rplinit(int argc, char *argv[], char *en
     {      {
 #       ifndef SEMAPHORES_NOMMES  #       ifndef SEMAPHORES_NOMMES
             sem_post(&((*s_etat_processus).semaphore_fork));              sem_post(&((*s_etat_processus).semaphore_fork));
             sem_post(&semaphore_gestionnaires_signaux);  
             sem_destroy(&semaphore_gestionnaires_signaux);  
             sem_destroy(&((*s_etat_processus).semaphore_fork));              sem_destroy(&((*s_etat_processus).semaphore_fork));
 #       else  #       else
             sem_post((*s_etat_processus).semaphore_fork);              sem_post((*s_etat_processus).semaphore_fork);
             sem_post(semaphore_gestionnaires_signaux);              sem_destroy3((*s_etat_processus).semaphore_fork, getpid(),
             sem_destroy2(semaphore_gestionnaires_signaux, getpid(),  
                     SEM_SIGNAUX);  
             sem_destroy3((*s_etat_processus).semphore_fork, getpid(),  
                     pthread_self(), SEM_FORK);                      pthread_self(), SEM_FORK);
 #       endif  #       endif
   
Line 582  rplinit(int argc, char *argv[], char *en Line 523  rplinit(int argc, char *argv[], char *en
     }      }
   
     signal_test = SIGTEST;      signal_test = SIGTEST;
     kill(getpid(), SIGINT);      raise(SIGINT);
   
     attente.tv_sec = 0;      attente.tv_sec = 0;
     attente.tv_nsec = 1000000;      attente.tv_nsec = 1000000;
Line 596  rplinit(int argc, char *argv[], char *en Line 537  rplinit(int argc, char *argv[], char *en
     {      {
 #       ifndef SEMAPHORES_NOMMES  #       ifndef SEMAPHORES_NOMMES
             sem_post(&((*s_etat_processus).semaphore_fork));              sem_post(&((*s_etat_processus).semaphore_fork));
             sem_post(&semaphore_gestionnaires_signaux);  
             sem_destroy(&semaphore_gestionnaires_signaux);  
             sem_destroy(&((*s_etat_processus).semaphore_fork));              sem_destroy(&((*s_etat_processus).semaphore_fork));
 #       else  #       else
             sem_post((*s_etat_processus).semaphore_fork);              sem_post((*s_etat_processus).semaphore_fork);
             sem_post(semaphore_gestionnaires_signaux);              sem_destroy3((*s_etat_processus).semaphore_fork, getpid(),
             sem_destroy2(semaphore_gestionnaires_signaux, getpid(),  
                     SEM_SIGNAUX);  
             sem_destroy3((*s_etat_processus).semphore_fork, getpid(),  
                     pthread_self(), SEM_FORK);                      pthread_self(), SEM_FORK);
 #       endif  #       endif
   
Line 634  rplinit(int argc, char *argv[], char *en Line 570  rplinit(int argc, char *argv[], char *en
     {      {
 #       ifndef SEMAPHORES_NOMMES  #       ifndef SEMAPHORES_NOMMES
             sem_post(&((*s_etat_processus).semaphore_fork));              sem_post(&((*s_etat_processus).semaphore_fork));
             sem_post(&semaphore_gestionnaires_signaux);  
             sem_destroy(&semaphore_gestionnaires_signaux);  
             sem_destroy(&((*s_etat_processus).semaphore_fork));              sem_destroy(&((*s_etat_processus).semaphore_fork));
 #       else  #       else
             sem_post((*s_etat_processus).semaphore_fork);              sem_post((*s_etat_processus).semaphore_fork);
             sem_post(semaphore_gestionnaires_signaux);              sem_destroy3((*s_etat_processus).semaphore_fork, getpid(),
             sem_destroy2(semaphore_gestionnaires_signaux, getpid(),  
                     SEM_SIGNAUX);  
             sem_destroy3((*s_etat_processus).semphore_fork, getpid(),  
                     pthread_self(), SEM_FORK);                      pthread_self(), SEM_FORK);
 #       endif  #       endif
   
Line 669  rplinit(int argc, char *argv[], char *en Line 600  rplinit(int argc, char *argv[], char *en
     }      }
   
     signal_test = SIGTEST;      signal_test = SIGTEST;
     kill(getpid(), SIGTERM);      raise(SIGTERM);
   
     attente.tv_sec = 0;      attente.tv_sec = 0;
     attente.tv_nsec = 1000000;      attente.tv_nsec = 1000000;
Line 683  rplinit(int argc, char *argv[], char *en Line 614  rplinit(int argc, char *argv[], char *en
     {      {
 #       ifndef SEMAPHORES_NOMMES  #       ifndef SEMAPHORES_NOMMES
             sem_post(&((*s_etat_processus).semaphore_fork));              sem_post(&((*s_etat_processus).semaphore_fork));
             sem_post(&semaphore_gestionnaires_signaux);  
             sem_destroy(&semaphore_gestionnaires_signaux);  
             sem_destroy(&((*s_etat_processus).semaphore_fork));              sem_destroy(&((*s_etat_processus).semaphore_fork));
 #       else  #       else
             sem_post((*s_etat_processus).semaphore_fork);              sem_post((*s_etat_processus).semaphore_fork);
             sem_post(semaphore_gestionnaires_signaux);              sem_destroy3((*s_etat_processus).semaphore_fork, getpid(),
             sem_destroy2(semaphore_gestionnaires_signaux, getpid(),  
                     SEM_SIGNAUX);  
             sem_destroy3((*s_etat_processus).semphore_fork, getpid(),  
                     pthread_self(), SEM_FORK);                      pthread_self(), SEM_FORK);
 #       endif  #       endif
   
Line 721  rplinit(int argc, char *argv[], char *en Line 647  rplinit(int argc, char *argv[], char *en
     {      {
 #       ifndef SEMAPHORES_NOMMES  #       ifndef SEMAPHORES_NOMMES
             sem_post(&((*s_etat_processus).semaphore_fork));              sem_post(&((*s_etat_processus).semaphore_fork));
             sem_post(&semaphore_gestionnaires_signaux);  
             sem_destroy(&semaphore_gestionnaires_signaux);  
             sem_destroy(&((*s_etat_processus).semaphore_fork));              sem_destroy(&((*s_etat_processus).semaphore_fork));
 #       else  #       else
             sem_post((*s_etat_processus).semaphore_fork);              sem_post((*s_etat_processus).semaphore_fork);
             sem_post(semaphore_gestionnaires_signaux);              sem_destroy3((*s_etat_processus).semaphore_fork, getpid(),
             sem_destroy2(semaphore_gestionnaires_signaux, getpid(),  
                     SEM_SIGNAUX);  
             sem_destroy3((*s_etat_processus).semphore_fork, getpid(),  
                     pthread_self(), SEM_FORK);                      pthread_self(), SEM_FORK);
 #       endif  #       endif
   
Line 756  rplinit(int argc, char *argv[], char *en Line 677  rplinit(int argc, char *argv[], char *en
     }      }
   
     signal_test = SIGTEST;      signal_test = SIGTEST;
     kill(getpid(), SIGALRM);      raise(SIGALRM);
   
     attente.tv_sec = 0;      attente.tv_sec = 0;
     attente.tv_nsec = 1000000;      attente.tv_nsec = 1000000;
Line 770  rplinit(int argc, char *argv[], char *en Line 691  rplinit(int argc, char *argv[], char *en
     {      {
 #       ifndef SEMAPHORES_NOMMES  #       ifndef SEMAPHORES_NOMMES
             sem_post(&((*s_etat_processus).semaphore_fork));              sem_post(&((*s_etat_processus).semaphore_fork));
             sem_post(&semaphore_gestionnaires_signaux);  
             sem_destroy(&semaphore_gestionnaires_signaux);  
             sem_destroy(&((*s_etat_processus).semaphore_fork));              sem_destroy(&((*s_etat_processus).semaphore_fork));
 #       else  #       else
             sem_post((*s_etat_processus).semaphore_fork);              sem_post((*s_etat_processus).semaphore_fork);
             sem_post(semaphore_gestionnaires_signaux);              sem_destroy3((*s_etat_processus).semaphore_fork, getpid(),
             sem_destroy2(semaphore_gestionnaires_signaux, getpid(),  
                     SEM_SIGNAUX);  
             sem_destroy3((*s_etat_processus).semphore_fork, getpid(),  
                     pthread_self(), SEM_FORK);                      pthread_self(), SEM_FORK);
 #       endif  #       endif
   
Line 811  rplinit(int argc, char *argv[], char *en Line 727  rplinit(int argc, char *argv[], char *en
     {      {
 #       ifndef SEMAPHORES_NOMMES  #       ifndef SEMAPHORES_NOMMES
             sem_post(&((*s_etat_processus).semaphore_fork));              sem_post(&((*s_etat_processus).semaphore_fork));
             sem_post(&semaphore_gestionnaires_signaux);  
             sem_destroy(&semaphore_gestionnaires_signaux);  
             sem_destroy(&((*s_etat_processus).semaphore_fork));              sem_destroy(&((*s_etat_processus).semaphore_fork));
 #       else  #       else
             sem_post((*s_etat_processus).semaphore_fork);              sem_post((*s_etat_processus).semaphore_fork);
             sem_post(semaphore_gestionnaires_signaux);              sem_destroy3((*s_etat_processus).semaphore_fork, getpid(),
             sem_destroy2(semaphore_gestionnaires_signaux, getpid(),  
                     SEM_SIGNAUX);  
             sem_destroy3((*s_etat_processus).semphore_fork, getpid(),  
                     pthread_self(), SEM_FORK);                      pthread_self(), SEM_FORK);
 #       endif  #       endif
   
Line 844  rplinit(int argc, char *argv[], char *en Line 755  rplinit(int argc, char *argv[], char *en
     }      }
   
     signal_test = SIGTEST;      signal_test = SIGTEST;
     kill(getpid(), SIGTSTP);      raise(SIGTSTP);
   
     attente.tv_sec = 0;      attente.tv_sec = 0;
     attente.tv_nsec = 1000000;      attente.tv_nsec = 1000000;
Line 858  rplinit(int argc, char *argv[], char *en Line 769  rplinit(int argc, char *argv[], char *en
     {      {
 #       ifndef SEMAPHORES_NOMMES  #       ifndef SEMAPHORES_NOMMES
             sem_post(&((*s_etat_processus).semaphore_fork));              sem_post(&((*s_etat_processus).semaphore_fork));
             sem_post(&semaphore_gestionnaires_signaux);  
             sem_destroy(&semaphore_gestionnaires_signaux);  
             sem_destroy(&((*s_etat_processus).semaphore_fork));              sem_destroy(&((*s_etat_processus).semaphore_fork));
 #       else  #       else
             sem_post((*s_etat_processus).semaphore_fork);              sem_post((*s_etat_processus).semaphore_fork);
             sem_post(semaphore_gestionnaires_signaux);              sem_destroy3((*s_etat_processus).semaphore_fork, getpid(),
             sem_destroy2(semaphore_gestionnaires_signaux, getpid(),  
                     SEM_SIGNAUX);  
             sem_destroy3((*s_etat_processus).semphore_fork, getpid(),  
                     pthread_self(), SEM_FORK);                      pthread_self(), SEM_FORK);
 #       endif  #       endif
   
Line 899  rplinit(int argc, char *argv[], char *en Line 805  rplinit(int argc, char *argv[], char *en
     {      {
 #       ifndef SEMAPHORES_NOMMES  #       ifndef SEMAPHORES_NOMMES
             sem_post(&((*s_etat_processus).semaphore_fork));              sem_post(&((*s_etat_processus).semaphore_fork));
             sem_post(&semaphore_gestionnaires_signaux);  
             sem_destroy(&semaphore_gestionnaires_signaux);  
             sem_destroy(&((*s_etat_processus).semaphore_fork));              sem_destroy(&((*s_etat_processus).semaphore_fork));
 #       else  #       else
             sem_post((*s_etat_processus).semaphore_fork);              sem_post((*s_etat_processus).semaphore_fork);
             sem_post(semaphore_gestionnaires_signaux);              sem_destroy3((*s_etat_processus).semaphore_fork, getpid(),
             sem_destroy2(semaphore_gestionnaires_signaux, getpid(),  
                     SEM_SIGNAUX);  
             sem_destroy3((*s_etat_processus).semphore_fork, getpid(),  
                     pthread_self(), SEM_FORK);                      pthread_self(), SEM_FORK);
 #       endif  #       endif
   
Line 934  rplinit(int argc, char *argv[], char *en Line 835  rplinit(int argc, char *argv[], char *en
     }      }
   
     signal_test = SIGTEST;      signal_test = SIGTEST;
     kill(getpid(), SIGPIPE);      raise(SIGPIPE);
   
     attente.tv_sec = 0;      attente.tv_sec = 0;
     attente.tv_nsec = 1000000;      attente.tv_nsec = 1000000;
Line 948  rplinit(int argc, char *argv[], char *en Line 849  rplinit(int argc, char *argv[], char *en
     {      {
 #       ifndef SEMAPHORES_NOMMES  #       ifndef SEMAPHORES_NOMMES
             sem_post(&((*s_etat_processus).semaphore_fork));              sem_post(&((*s_etat_processus).semaphore_fork));
             sem_post(&semaphore_gestionnaires_signaux);  
             sem_destroy(&semaphore_gestionnaires_signaux);  
             sem_destroy(&((*s_etat_processus).semaphore_fork));              sem_destroy(&((*s_etat_processus).semaphore_fork));
 #       else  #       else
             sem_post((*s_etat_processus).semaphore_fork);              sem_post((*s_etat_processus).semaphore_fork);
             sem_post(semaphore_gestionnaires_signaux);              sem_destroy3((*s_etat_processus).semaphore_fork, getpid(),
             sem_destroy2(semaphore_gestionnaires_signaux, getpid(),  
                     SEM_SIGNAUX);  
             sem_destroy3((*s_etat_processus).semphore_fork, getpid(),  
                     pthread_self(), SEM_FORK);                      pthread_self(), SEM_FORK);
 #       endif  #       endif
   
Line 989  rplinit(int argc, char *argv[], char *en Line 885  rplinit(int argc, char *argv[], char *en
     {      {
 #       ifndef SEMAPHORES_NOMMES  #       ifndef SEMAPHORES_NOMMES
             sem_post(&((*s_etat_processus).semaphore_fork));              sem_post(&((*s_etat_processus).semaphore_fork));
             sem_post(&semaphore_gestionnaires_signaux);  
             sem_destroy(&semaphore_gestionnaires_signaux);  
             sem_destroy(&((*s_etat_processus).semaphore_fork));              sem_destroy(&((*s_etat_processus).semaphore_fork));
 #       else  #       else
             sem_post((*s_etat_processus).semaphore_fork);              sem_post((*s_etat_processus).semaphore_fork);
             sem_post(semaphore_gestionnaires_signaux);              sem_destroy3((*s_etat_processus).semaphore_fork, getpid(),
             sem_destroy2(semaphore_gestionnaires_signaux, getpid(),  
                     SEM_SIGNAUX);  
             sem_destroy3((*s_etat_processus).semphore_fork, getpid(),  
                     pthread_self(), SEM_FORK);                      pthread_self(), SEM_FORK);
 #       endif  #       endif
   
Line 1024  rplinit(int argc, char *argv[], char *en Line 915  rplinit(int argc, char *argv[], char *en
     }      }
   
     signal_test = SIGTEST;      signal_test = SIGTEST;
     kill(getpid(), SIGUSR1);      raise(SIGUSR1);
   
     attente.tv_sec = 0;      attente.tv_sec = 0;
     attente.tv_nsec = 1000000;      attente.tv_nsec = 1000000;
Line 1038  rplinit(int argc, char *argv[], char *en Line 929  rplinit(int argc, char *argv[], char *en
     {      {
 #       ifndef SEMAPHORES_NOMMES  #       ifndef SEMAPHORES_NOMMES
             sem_post(&((*s_etat_processus).semaphore_fork));              sem_post(&((*s_etat_processus).semaphore_fork));
             sem_post(&semaphore_gestionnaires_signaux);  
             sem_destroy(&semaphore_gestionnaires_signaux);  
             sem_destroy(&((*s_etat_processus).semaphore_fork));              sem_destroy(&((*s_etat_processus).semaphore_fork));
 #       else  #       else
             sem_post((*s_etat_processus).semaphore_fork);              sem_post((*s_etat_processus).semaphore_fork);
             sem_post(semaphore_gestionnaires_signaux);              sem_destroy3((*s_etat_processus).semaphore_fork, getpid(),
             sem_destroy2(semaphore_gestionnaires_signaux, getpid(),  
                     SEM_SIGNAUX);  
             sem_destroy3((*s_etat_processus).semphore_fork, getpid(),  
                     pthread_self(), SEM_FORK);                      pthread_self(), SEM_FORK);
 #       endif  #       endif
   
Line 1143  rplinit(int argc, char *argv[], char *en Line 1029  rplinit(int argc, char *argv[], char *en
                             {                              {
 #                               ifndef SEMAPHORES_NOMMES  #                               ifndef SEMAPHORES_NOMMES
                                 sem_post(&((*s_etat_processus).semaphore_fork));                                  sem_post(&((*s_etat_processus).semaphore_fork));
                                 sem_post(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&((*s_etat_processus)                                  sem_destroy(&((*s_etat_processus)
                                         .semaphore_fork));                                          .semaphore_fork));
 #                               else  #                               else
                                 sem_post((*s_etat_processus).semaphore_fork);                                  sem_post((*s_etat_processus).semaphore_fork);
                                 sem_post(semaphore_gestionnaires_signaux);                                  sem_destroy3((*s_etat_processus).semaphore_fork,
                                 sem_destroy2(semaphore_gestionnaires_signaux,  
                                         getpid(), SEM_SIGNAUX);  
                                 sem_destroy3((*s_etat_processus).semphore_fork,  
                                         getpid(), pthread_self(), SEM_FORK);                                          getpid(), pthread_self(), SEM_FORK);
 #                               endif  #                               endif
   
Line 1187  rplinit(int argc, char *argv[], char *en Line 1068  rplinit(int argc, char *argv[], char *en
                             {                              {
 #                               ifndef SEMAPHORES_NOMMES  #                               ifndef SEMAPHORES_NOMMES
                                 sem_post(&((*s_etat_processus).semaphore_fork));                                  sem_post(&((*s_etat_processus).semaphore_fork));
                                 sem_post(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&((*s_etat_processus)                                  sem_destroy(&((*s_etat_processus)
                                         .semaphore_fork));                                          .semaphore_fork));
 #                               else  #                               else
                                 sem_post((*s_etat_processus).semaphore_fork);                                  sem_post((*s_etat_processus).semaphore_fork);
                                 sem_post(semaphore_gestionnaires_signaux);                                  sem_destroy3((*s_etat_processus).semaphore_fork,
                                 sem_destroy2(semaphore_gestionnaires_signaux,  
                                         getpid(), SEM_SIGNAUX);  
                                 sem_destroy3((*s_etat_processus).semphore_fork,  
                                         getpid(), pthread_self(), SEM_FORK);                                          getpid(), pthread_self(), SEM_FORK);
 #                               endif  #                               endif
   
Line 1234  rplinit(int argc, char *argv[], char *en Line 1110  rplinit(int argc, char *argv[], char *en
 #                                   ifndef SEMAPHORES_NOMMES  #                                   ifndef SEMAPHORES_NOMMES
                                     sem_post(&((*s_etat_processus)                                      sem_post(&((*s_etat_processus)
                                             .semaphore_fork));                                              .semaphore_fork));
                                     sem_post(&semaphore_gestionnaires_signaux);  
                                     sem_destroy(  
                                             &semaphore_gestionnaires_signaux);  
                                     sem_destroy(&((*s_etat_processus)                                      sem_destroy(&((*s_etat_processus)
                                             .semaphore_fork));                                              .semaphore_fork));
 #                                   else  #                                   else
                                     sem_post((*s_etat_processus)                                      sem_post((*s_etat_processus)
                                             .semaphore_fork);                                              .semaphore_fork);
                                     sem_post(semaphore_gestionnaires_signaux);  
                                     sem_destroy2(  
                                             semaphore_gestionnaires_signaux,  
                                             getpid(), SEM_SIGNAUX);  
                                     sem_destroy3((*s_etat_processus)                                      sem_destroy3((*s_etat_processus)
                                             .semphore_fork, getpid(),                                              .semaphore_fork, getpid(),
                                             pthread_self(), SEM_FORK);                                              pthread_self(), SEM_FORK);
 #                                   endif  #                                   endif
   
Line 1297  rplinit(int argc, char *argv[], char *en Line 1166  rplinit(int argc, char *argv[], char *en
 #                                   ifndef SEMAPHORES_NOMMES  #                                   ifndef SEMAPHORES_NOMMES
                                     sem_post(&((*s_etat_processus)                                      sem_post(&((*s_etat_processus)
                                             .semaphore_fork));                                              .semaphore_fork));
                                     sem_post(&semaphore_gestionnaires_signaux);  
                                     sem_destroy(  
                                             &semaphore_gestionnaires_signaux);  
                                     sem_destroy(&((*s_etat_processus)                                      sem_destroy(&((*s_etat_processus)
                                             .semaphore_fork));                                              .semaphore_fork));
 #                                   else  #                                   else
                                     sem_post((*s_etat_processus)                                      sem_post((*s_etat_processus)
                                             .semaphore_fork);                                              .semaphore_fork);
                                     sem_post(semaphore_gestionnaires_signaux);  
                                     sem_destroy2(  
                                             semaphore_gestionnaires_signaux,  
                                             getpid(), SEM_SIGNAUX);  
                                     sem_destroy3((*s_etat_processus)                                      sem_destroy3((*s_etat_processus)
                                             .semphore_fork, getpid(),                                              .semaphore_fork, getpid(),
                                             pthread_self(), SEM_FORK);                                              pthread_self(), SEM_FORK);
 #                                   endif  #                                   endif
   
Line 1354  rplinit(int argc, char *argv[], char *en Line 1216  rplinit(int argc, char *argv[], char *en
                             {                              {
 #                               ifndef SEMAPHORES_NOMMES  #                               ifndef SEMAPHORES_NOMMES
                                 sem_post(&((*s_etat_processus).semaphore_fork));                                  sem_post(&((*s_etat_processus).semaphore_fork));
                                 sem_post(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&((*s_etat_processus)                                  sem_destroy(&((*s_etat_processus)
                                         .semaphore_fork));                                          .semaphore_fork));
 #                               else  #                               else
                                 sem_post((*s_etat_processus).semaphore_fork);                                  sem_post((*s_etat_processus).semaphore_fork);
                                 sem_post(semaphore_gestionnaires_signaux);                                  sem_destroy3((*s_etat_processus).semaphore_fork,
                                 sem_destroy2(semaphore_gestionnaires_signaux,  
                                         getpid(), SEM_SIGNAUX);  
                                 sem_destroy3((*s_etat_processus).semphore_fork,  
                                         getpid(), pthread_self(), SEM_FORK);                                          getpid(), pthread_self(), SEM_FORK);
 #                               endif  #                               endif
   
Line 1397  rplinit(int argc, char *argv[], char *en Line 1254  rplinit(int argc, char *argv[], char *en
                             {                              {
 #                               ifndef SEMAPHORES_NOMMES  #                               ifndef SEMAPHORES_NOMMES
                                 sem_post(&((*s_etat_processus).semaphore_fork));                                  sem_post(&((*s_etat_processus).semaphore_fork));
                                 sem_post(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&((*s_etat_processus)                                  sem_destroy(&((*s_etat_processus)
                                         .semaphore_fork));                                          .semaphore_fork));
 #                               else  #                               else
                                 sem_post((*s_etat_processus).semaphore_fork);                                  sem_post((*s_etat_processus).semaphore_fork);
                                 sem_post(semaphore_gestionnaires_signaux);                                  sem_destroy3((*s_etat_processus).semaphore_fork,
                                 sem_destroy2(semaphore_gestionnaires_signaux,  
                                         getpid(), SEM_SIGNAUX);  
                                 sem_destroy3((*s_etat_processus).semphore_fork,  
                                         getpid(), pthread_self(), SEM_FORK);                                          getpid(), pthread_self(), SEM_FORK);
 #                               endif  #                               endif
   
Line 1442  rplinit(int argc, char *argv[], char *en Line 1294  rplinit(int argc, char *argv[], char *en
                             {                              {
 #                               ifndef SEMAPHORES_NOMMES  #                               ifndef SEMAPHORES_NOMMES
                                 sem_post(&((*s_etat_processus).semaphore_fork));                                  sem_post(&((*s_etat_processus).semaphore_fork));
                                 sem_post(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&((*s_etat_processus)                                  sem_destroy(&((*s_etat_processus)
                                         .semaphore_fork));                                          .semaphore_fork));
 #                               else  #                               else
                                 sem_post((*s_etat_processus).semaphore_fork);                                  sem_post((*s_etat_processus).semaphore_fork);
                                 sem_post(semaphore_gestionnaires_signaux);                                  sem_destroy3((*s_etat_processus).semaphore_fork,
                                 sem_destroy2(semaphore_gestionnaires_signaux,  
                                         getpid(), SEM_SIGNAUX);  
                                 sem_destroy3((*s_etat_processus).semphore_fork,  
                                         getpid(), pthread_self(), SEM_FORK);                                          getpid(), pthread_self(), SEM_FORK);
 #                               endif  #                               endif
   
Line 1487  rplinit(int argc, char *argv[], char *en Line 1334  rplinit(int argc, char *argv[], char *en
                             {                              {
 #                               ifndef SEMAPHORES_NOMMES  #                               ifndef SEMAPHORES_NOMMES
                                 sem_post(&((*s_etat_processus).semaphore_fork));                                  sem_post(&((*s_etat_processus).semaphore_fork));
                                 sem_post(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&((*s_etat_processus)                                  sem_destroy(&((*s_etat_processus)
                                         .semaphore_fork));                                          .semaphore_fork));
 #                               else  #                               else
                                 sem_post((*s_etat_processus).semaphore_fork);                                  sem_post((*s_etat_processus).semaphore_fork);
                                 sem_post(semaphore_gestionnaires_signaux);                                  sem_destroy3((*s_etat_processus).semaphore_fork,
                                 sem_destroy2(semaphore_gestionnaires_signaux,  
                                         getpid(), SEM_SIGNAUX);  
                                 sem_destroy3((*s_etat_processus).semphore_fork,  
                                         getpid(), pthread_self(), SEM_FORK);                                          getpid(), pthread_self(), SEM_FORK);
 #                               endif  #                               endif
   
Line 1531  rplinit(int argc, char *argv[], char *en Line 1373  rplinit(int argc, char *argv[], char *en
                             {                              {
 #                               ifndef SEMAPHORES_NOMMES  #                               ifndef SEMAPHORES_NOMMES
                                 sem_post(&((*s_etat_processus).semaphore_fork));                                  sem_post(&((*s_etat_processus).semaphore_fork));
                                 sem_post(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&((*s_etat_processus)                                  sem_destroy(&((*s_etat_processus)
                                         .semaphore_fork));                                          .semaphore_fork));
 #                               else  #                               else
                                 sem_post((*s_etat_processus).semaphore_fork);                                  sem_post((*s_etat_processus).semaphore_fork);
                                 sem_post(semaphore_gestionnaires_signaux);                                  sem_destroy3((*s_etat_processus).semaphore_fork,
                                 sem_destroy2(semaphore_gestionnaires_signaux,  
                                         getpid(), SEM_SIGNAUX);  
                                 sem_destroy3((*s_etat_processus).semphore_fork,  
                                         getpid(), pthread_self(), SEM_FORK);                                          getpid(), pthread_self(), SEM_FORK);
 #                               endif  #                               endif
   
Line 1576  rplinit(int argc, char *argv[], char *en Line 1413  rplinit(int argc, char *argv[], char *en
                             {                              {
 #                               ifndef SEMAPHORES_NOMMES  #                               ifndef SEMAPHORES_NOMMES
                                 sem_post(&((*s_etat_processus).semaphore_fork));                                  sem_post(&((*s_etat_processus).semaphore_fork));
                                 sem_post(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&((*s_etat_processus)                                  sem_destroy(&((*s_etat_processus)
                                         .semaphore_fork));                                          .semaphore_fork));
 #                               else  #                               else
                                 sem_post((*s_etat_processus).semaphore_fork);                                  sem_post((*s_etat_processus).semaphore_fork);
                                 sem_post(semaphore_gestionnaires_signaux);                                  sem_destroy3((*s_etat_processus).semaphore_fork,
                                 sem_destroy2(semaphore_gestionnaires_signaux,  
                                         getpid(), SEM_SIGNAUX);  
                                 sem_destroy3((*s_etat_processus).semphore_fork,  
                                         getpid(), pthread_self(), SEM_FORK);                                          getpid(), pthread_self(), SEM_FORK);
 #                               endif  #                               endif
   
Line 1613  rplinit(int argc, char *argv[], char *en Line 1445  rplinit(int argc, char *argv[], char *en
                             {                              {
 #                               ifndef SEMAPHORES_NOMMES  #                               ifndef SEMAPHORES_NOMMES
                                 sem_post(&((*s_etat_processus).semaphore_fork));                                  sem_post(&((*s_etat_processus).semaphore_fork));
                                 sem_post(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&((*s_etat_processus)                                  sem_destroy(&((*s_etat_processus)
                                         .semaphore_fork));                                          .semaphore_fork));
 #                               else  #                               else
                                 sem_post((*s_etat_processus).semaphore_fork);                                  sem_post((*s_etat_processus).semaphore_fork);
                                 sem_post(semaphore_gestionnaires_signaux);                                  sem_destroy3((*s_etat_processus).semaphore_fork,
                                 sem_destroy2(semaphore_gestionnaires_signaux,  
                                         getpid(), SEM_SIGNAUX);  
                                 sem_destroy3((*s_etat_processus).semphore_fork,  
                                         getpid(), pthread_self(), SEM_FORK);                                          getpid(), pthread_self(), SEM_FORK);
 #                               endif  #                               endif
   
Line 1650  rplinit(int argc, char *argv[], char *en Line 1477  rplinit(int argc, char *argv[], char *en
                             {                              {
 #                               ifndef SEMAPHORES_NOMMES  #                               ifndef SEMAPHORES_NOMMES
                                 sem_post(&((*s_etat_processus).semaphore_fork));                                  sem_post(&((*s_etat_processus).semaphore_fork));
                                 sem_post(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&((*s_etat_processus)                                  sem_destroy(&((*s_etat_processus)
                                         .semaphore_fork));                                          .semaphore_fork));
 #                               else  #                               else
                                 sem_post((*s_etat_processus).semaphore_fork);                                  sem_post((*s_etat_processus).semaphore_fork);
                                 sem_post(semaphore_gestionnaires_signaux);                                  sem_destroy3((*s_etat_processus).semaphore_fork,
                                 sem_destroy2(semaphore_gestionnaires_signaux,  
                                         getpid(), SEM_SIGNAUX);  
                                 sem_destroy3((*s_etat_processus).semphore_fork,  
                                         getpid(), pthread_self(), SEM_FORK);                                          getpid(), pthread_self(), SEM_FORK);
 #                               endif  #                               endif
   
Line 1696  rplinit(int argc, char *argv[], char *en Line 1518  rplinit(int argc, char *argv[], char *en
                             {                              {
 #                               ifndef SEMAPHORES_NOMMES  #                               ifndef SEMAPHORES_NOMMES
                                 sem_post(&((*s_etat_processus).semaphore_fork));                                  sem_post(&((*s_etat_processus).semaphore_fork));
                                 sem_post(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&((*s_etat_processus)                                  sem_destroy(&((*s_etat_processus)
                                         .semaphore_fork));                                          .semaphore_fork));
 #                               else  #                               else
                                 sem_post((*s_etat_processus).semaphore_fork);                                  sem_post((*s_etat_processus).semaphore_fork);
                                 sem_post(semaphore_gestionnaires_signaux);                                  sem_destroy3((*s_etat_processus).semaphore_fork,
                                 sem_destroy2(semaphore_gestionnaires_signaux,  
                                         getpid(), SEM_SIGNAUX);  
                                 sem_destroy3((*s_etat_processus).semphore_fork,  
                                         getpid(), pthread_self(), SEM_FORK);                                          getpid(), pthread_self(), SEM_FORK);
 #                               endif  #                               endif
   
Line 1750  rplinit(int argc, char *argv[], char *en Line 1567  rplinit(int argc, char *argv[], char *en
                             {                              {
 #                               ifndef SEMAPHORES_NOMMES  #                               ifndef SEMAPHORES_NOMMES
                                 sem_post(&((*s_etat_processus).semaphore_fork));                                  sem_post(&((*s_etat_processus).semaphore_fork));
                                 sem_post(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&((*s_etat_processus)                                  sem_destroy(&((*s_etat_processus)
                                         .semaphore_fork));                                          .semaphore_fork));
 #                               else  #                               else
                                 sem_post((*s_etat_processus).semaphore_fork);                                  sem_post((*s_etat_processus).semaphore_fork);
                                 sem_post(semaphore_gestionnaires_signaux);                                  sem_destroy3((*s_etat_processus).semaphore_fork,
                                 sem_destroy2(semaphore_gestionnaires_signaux,  
                                         getpid(), SEM_SIGNAUX);  
                                 sem_destroy3((*s_etat_processus).semphore_fork,  
                                         getpid(), pthread_self(), SEM_FORK);                                          getpid(), pthread_self(), SEM_FORK);
 #                               endif  #                               endif
   
Line 1795  rplinit(int argc, char *argv[], char *en Line 1607  rplinit(int argc, char *argv[], char *en
                             {                              {
 #                               ifndef SEMAPHORES_NOMMES  #                               ifndef SEMAPHORES_NOMMES
                                 sem_post(&((*s_etat_processus).semaphore_fork));                                  sem_post(&((*s_etat_processus).semaphore_fork));
                                 sem_post(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&((*s_etat_processus)                                  sem_destroy(&((*s_etat_processus)
                                         .semaphore_fork));                                          .semaphore_fork));
 #                               else  #                               else
                                 sem_post((*s_etat_processus).semaphore_fork);                                  sem_post((*s_etat_processus).semaphore_fork);
                                 sem_post(semaphore_gestionnaires_signaux);                                  sem_destroy3((*s_etat_processus).semaphore_fork,
                                 sem_destroy2(semaphore_gestionnaires_signaux,  
                                         getpid(), SEM_SIGNAUX);  
                                 sem_destroy3((*s_etat_processus).semphore_fork,  
                                         getpid(), pthread_self(), SEM_FORK);                                          getpid(), pthread_self(), SEM_FORK);
 #                               endif  #                               endif
   
Line 1832  rplinit(int argc, char *argv[], char *en Line 1639  rplinit(int argc, char *argv[], char *en
                             {                              {
 #                               ifndef SEMAPHORES_NOMMES  #                               ifndef SEMAPHORES_NOMMES
                                 sem_post(&((*s_etat_processus).semaphore_fork));                                  sem_post(&((*s_etat_processus).semaphore_fork));
                                 sem_post(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&((*s_etat_processus)                                  sem_destroy(&((*s_etat_processus)
                                         .semaphore_fork));                                          .semaphore_fork));
 #                               else  #                               else
                                 sem_post((*s_etat_processus).semaphore_fork);                                  sem_post((*s_etat_processus).semaphore_fork);
                                 sem_post(semaphore_gestionnaires_signaux);                                  sem_destroy3((*s_etat_processus).semaphore_fork,
                                 sem_destroy2(semaphore_gestionnaires_signaux,  
                                         getpid(), SEM_SIGNAUX);  
                                 sem_destroy3((*s_etat_processus).semphore_fork,  
                                         getpid(), pthread_self(), SEM_FORK);                                          getpid(), pthread_self(), SEM_FORK);
 #                               endif  #                               endif
   
Line 1877  rplinit(int argc, char *argv[], char *en Line 1679  rplinit(int argc, char *argv[], char *en
                             {                              {
 #                               ifndef SEMAPHORES_NOMMES  #                               ifndef SEMAPHORES_NOMMES
                                 sem_post(&((*s_etat_processus).semaphore_fork));                                  sem_post(&((*s_etat_processus).semaphore_fork));
                                 sem_post(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&((*s_etat_processus)                                  sem_destroy(&((*s_etat_processus)
                                         .semaphore_fork));                                          .semaphore_fork));
 #                               else  #                               else
                                 sem_post((*s_etat_processus).semaphore_fork);                                  sem_post((*s_etat_processus).semaphore_fork);
                                 sem_post(semaphore_gestionnaires_signaux);                                  sem_destroy3((*s_etat_processus).semaphore_fork,
                                 sem_destroy2(semaphore_gestionnaires_signaux,  
                                         getpid(), SEM_SIGNAUX);  
                                 sem_destroy3((*s_etat_processus).semphore_fork,  
                                         getpid(), pthread_self(), SEM_FORK);                                          getpid(), pthread_self(), SEM_FORK);
 #                               endif  #                               endif
   
Line 1922  rplinit(int argc, char *argv[], char *en Line 1719  rplinit(int argc, char *argv[], char *en
                             {                              {
 #                               ifndef SEMAPHORES_NOMMES  #                               ifndef SEMAPHORES_NOMMES
                                 sem_post(&((*s_etat_processus).semaphore_fork));                                  sem_post(&((*s_etat_processus).semaphore_fork));
                                 sem_post(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&((*s_etat_processus)                                  sem_destroy(&((*s_etat_processus)
                                         .semaphore_fork));                                          .semaphore_fork));
 #                               else  #                               else
                                 sem_post((*s_etat_processus).semaphore_fork);                                  sem_post((*s_etat_processus).semaphore_fork);
                                 sem_post(semaphore_gestionnaires_signaux);                                  sem_destroy3((*s_etat_processus).semaphore_fork,
                                 sem_destroy2(semaphore_gestionnaires_signaux,  
                                         getpid(), SEM_SIGNAUX);  
                                 sem_destroy3((*s_etat_processus).semphore_fork,  
                                         getpid(), pthread_self(), SEM_FORK);                                          getpid(), pthread_self(), SEM_FORK);
 #                               endif  #                               endif
   
Line 1967  rplinit(int argc, char *argv[], char *en Line 1759  rplinit(int argc, char *argv[], char *en
                             {                              {
 #                               ifndef SEMAPHORES_NOMMES  #                               ifndef SEMAPHORES_NOMMES
                                 sem_post(&((*s_etat_processus).semaphore_fork));                                  sem_post(&((*s_etat_processus).semaphore_fork));
                                 sem_post(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&((*s_etat_processus)                                  sem_destroy(&((*s_etat_processus)
                                         .semaphore_fork));                                          .semaphore_fork));
 #                               else  #                               else
                                 sem_post((*s_etat_processus).semaphore_fork);                                  sem_post((*s_etat_processus).semaphore_fork);
                                 sem_post(semaphore_gestionnaires_signaux);                                  sem_destroy3((*s_etat_processus).semaphore_fork,
                                 sem_destroy2(semaphore_gestionnaires_signaux,  
                                         getpid(), SEM_SIGNAUX);  
                                 sem_destroy3((*s_etat_processus).semphore_fork,  
                                         getpid(), pthread_self(), SEM_FORK);                                          getpid(), pthread_self(), SEM_FORK);
 #                               endif  #                               endif
   
Line 2004  rplinit(int argc, char *argv[], char *en Line 1791  rplinit(int argc, char *argv[], char *en
                             {                              {
 #                               ifndef SEMAPHORES_NOMMES  #                               ifndef SEMAPHORES_NOMMES
                                 sem_post(&((*s_etat_processus).semaphore_fork));                                  sem_post(&((*s_etat_processus).semaphore_fork));
                                 sem_post(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&((*s_etat_processus)                                  sem_destroy(&((*s_etat_processus)
                                         .semaphore_fork));                                          .semaphore_fork));
 #                               else  #                               else
                                 sem_post((*s_etat_processus).semaphore_fork);                                  sem_post((*s_etat_processus).semaphore_fork);
                                 sem_post(semaphore_gestionnaires_signaux);                                  sem_destroy3((*s_etat_processus).semaphore_fork,
                                 sem_destroy2(semaphore_gestionnaires_signaux,  
                                         getpid(), SEM_SIGNAUX);  
                                 sem_destroy3((*s_etat_processus).semphore_fork,  
                                         getpid(), pthread_self(), SEM_FORK);                                          getpid(), pthread_self(), SEM_FORK);
 #                               endif  #                               endif
   
Line 2052  rplinit(int argc, char *argv[], char *en Line 1834  rplinit(int argc, char *argv[], char *en
 #                                   ifndef SEMAPHORES_NOMMES  #                                   ifndef SEMAPHORES_NOMMES
                                     sem_post(&((*s_etat_processus)                                      sem_post(&((*s_etat_processus)
                                             .semaphore_fork));                                              .semaphore_fork));
                                     sem_post(&semaphore_gestionnaires_signaux);  
                                     sem_destroy(  
                                             &semaphore_gestionnaires_signaux);  
                                     sem_destroy(&((*s_etat_processus)                                      sem_destroy(&((*s_etat_processus)
                                             .semaphore_fork));                                              .semaphore_fork));
 #                                   else  #                                   else
                                     sem_post((*s_etat_processus)                                      sem_post((*s_etat_processus)
                                             .semaphore_fork);                                              .semaphore_fork);
                                     sem_post(semaphore_gestionnaires_signaux);  
                                     sem_destroy2(  
                                             semaphore_gestionnaires_signaux,  
                                             getpid(), SEM_SIGNAUX);  
                                     sem_destroy3((*s_etat_processus)                                      sem_destroy3((*s_etat_processus)
                                             .semphore_fork, getpid(),                                              .semaphore_fork, getpid(),
                                             pthread_self(), SEM_FORK);                                              pthread_self(), SEM_FORK);
 #                                   endif  #                                   endif
   
Line 2113  rplinit(int argc, char *argv[], char *en Line 1888  rplinit(int argc, char *argv[], char *en
 #                                   ifndef SEMAPHORES_NOMMES  #                                   ifndef SEMAPHORES_NOMMES
                                     sem_post(&((*s_etat_processus)                                      sem_post(&((*s_etat_processus)
                                             .semaphore_fork));                                              .semaphore_fork));
                                     sem_post(&semaphore_gestionnaires_signaux);  
                                     sem_destroy(  
                                             &semaphore_gestionnaires_signaux);  
                                     sem_destroy(&((*s_etat_processus)                                      sem_destroy(&((*s_etat_processus)
                                             .semaphore_fork));                                              .semaphore_fork));
 #                                   else  #                                   else
                                     sem_post((*s_etat_processus)                                      sem_post((*s_etat_processus)
                                             .semaphore_fork);                                              .semaphore_fork);
                                     sem_post(semaphore_gestionnaires_signaux);  
                                     sem_destroy2(  
                                             semaphore_gestionnaires_signaux,  
                                             getpid(), SEM_SIGNAUX);  
                                     sem_destroy3((*s_etat_processus)                                      sem_destroy3((*s_etat_processus)
                                             .semphore_fork, getpid(),                                              .semaphore_fork, getpid(),
                                             pthread_self(), SEM_FORK);                                              pthread_self(), SEM_FORK);
 #                                   endif  #                                   endif
   
Line 2167  rplinit(int argc, char *argv[], char *en Line 1935  rplinit(int argc, char *argv[], char *en
                             {                              {
 #                               ifndef SEMAPHORES_NOMMES  #                               ifndef SEMAPHORES_NOMMES
                                 sem_post(&((*s_etat_processus).semaphore_fork));                                  sem_post(&((*s_etat_processus).semaphore_fork));
                                 sem_post(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&((*s_etat_processus)                                  sem_destroy(&((*s_etat_processus)
                                         .semaphore_fork));                                          .semaphore_fork));
 #                               else  #                               else
                                 sem_post((*s_etat_processus).semaphore_fork);                                  sem_post((*s_etat_processus).semaphore_fork);
                                 sem_post(semaphore_gestionnaires_signaux);                                  sem_destroy3((*s_etat_processus).semaphore_fork,
                                 sem_destroy2(semaphore_gestionnaires_signaux,  
                                         getpid(), SEM_SIGNAUX);  
                                 sem_destroy3((*s_etat_processus).semphore_fork,  
                                         getpid(), pthread_self(), SEM_FORK);                                          getpid(), pthread_self(), SEM_FORK);
 #                               endif  #                               endif
   
Line 2207  rplinit(int argc, char *argv[], char *en Line 1970  rplinit(int argc, char *argv[], char *en
                             {                              {
 #                               ifndef SEMAPHORES_NOMMES  #                               ifndef SEMAPHORES_NOMMES
                                 sem_post(&((*s_etat_processus).semaphore_fork));                                  sem_post(&((*s_etat_processus).semaphore_fork));
                                 sem_post(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&((*s_etat_processus)                                  sem_destroy(&((*s_etat_processus)
                                         .semaphore_fork));                                          .semaphore_fork));
 #                               else  #                               else
                                 sem_post((*s_etat_processus).semaphore_fork);                                  sem_post((*s_etat_processus).semaphore_fork);
                                 sem_post(semaphore_gestionnaires_signaux);                                  sem_destroy3((*s_etat_processus).semaphore_fork,
                                 sem_destroy2(semaphore_gestionnaires_signaux,  
                                         getpid(), SEM_SIGNAUX);  
                                 sem_destroy3((*s_etat_processus).semphore_fork,  
                                         getpid(), pthread_self(), SEM_FORK);                                          getpid(), pthread_self(), SEM_FORK);
 #                               endif  #                               endif
   
Line 2242  rplinit(int argc, char *argv[], char *en Line 2000  rplinit(int argc, char *argv[], char *en
                             }                              }
   
                             (*s_etat_processus).longueur_definitions_chainees =                              (*s_etat_processus).longueur_definitions_chainees =
                                     strlen((*s_etat_processus)                                      (integer8) strlen((*s_etat_processus)
                                     .definitions_chainees);                                      .definitions_chainees);
   
                             break;                              break;
Line 2254  rplinit(int argc, char *argv[], char *en Line 2012  rplinit(int argc, char *argv[], char *en
                             {                              {
 #                               ifndef SEMAPHORES_NOMMES  #                               ifndef SEMAPHORES_NOMMES
                                 sem_post(&((*s_etat_processus).semaphore_fork));                                  sem_post(&((*s_etat_processus).semaphore_fork));
                                 sem_post(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&((*s_etat_processus)                                  sem_destroy(&((*s_etat_processus)
                                         .semaphore_fork));                                          .semaphore_fork));
 #                               else  #                               else
                                 sem_post((*s_etat_processus).semaphore_fork);                                  sem_post((*s_etat_processus).semaphore_fork);
                                 sem_post(semaphore_gestionnaires_signaux);                                  sem_destroy3((*s_etat_processus).semaphore_fork,
                                 sem_destroy2(semaphore_gestionnaires_signaux,  
                                         getpid(), SEM_SIGNAUX);  
                                 sem_destroy3((*s_etat_processus).semphore_fork,  
                                         getpid(), pthread_self(), SEM_FORK);                                          getpid(), pthread_self(), SEM_FORK);
 #                               endif  #                               endif
   
Line 2302  rplinit(int argc, char *argv[], char *en Line 2055  rplinit(int argc, char *argv[], char *en
 #                                   ifndef SEMAPHORES_NOMMES  #                                   ifndef SEMAPHORES_NOMMES
                                     sem_post(&((*s_etat_processus)                                      sem_post(&((*s_etat_processus)
                                             .semaphore_fork));                                              .semaphore_fork));
                                     sem_post(&semaphore_gestionnaires_signaux);  
                                     sem_destroy(  
                                             &semaphore_gestionnaires_signaux);  
                                     sem_destroy(&((*s_etat_processus)                                      sem_destroy(&((*s_etat_processus)
                                             .semaphore_fork));                                              .semaphore_fork));
 #                                   else  #                                   else
                                     sem_post((*s_etat_processus)                                      sem_post((*s_etat_processus)
                                             .semaphore_fork);                                              .semaphore_fork);
                                     sem_post(semaphore_gestionnaires_signaux);  
                                     sem_destroy2(  
                                             semaphore_gestionnaires_signaux,  
                                             getpid(), SEM_SIGNAUX);  
                                     sem_destroy3((*s_etat_processus)                                      sem_destroy3((*s_etat_processus)
                                             .semphore_fork, getpid(),                                              .semaphore_fork, getpid(),
                                             pthread_self(), SEM_FORK);                                              pthread_self(), SEM_FORK);
 #                                   endif  #                                   endif
   
Line 2363  rplinit(int argc, char *argv[], char *en Line 2109  rplinit(int argc, char *argv[], char *en
 #                                   ifndef SEMAPHORES_NOMMES  #                                   ifndef SEMAPHORES_NOMMES
                                     sem_post(&((*s_etat_processus)                                      sem_post(&((*s_etat_processus)
                                             .semaphore_fork));                                              .semaphore_fork));
                                     sem_post(&semaphore_gestionnaires_signaux);  
                                     sem_destroy(  
                                             &semaphore_gestionnaires_signaux);  
                                     sem_destroy(&((*s_etat_processus)                                      sem_destroy(&((*s_etat_processus)
                                             .semaphore_fork));                                              .semaphore_fork));
 #                                   else  #                                   else
                                     sem_post((*s_etat_processus)                                      sem_post((*s_etat_processus)
                                             .semaphore_fork);                                              .semaphore_fork);
                                     sem_post(semaphore_gestionnaires_signaux);  
                                     sem_destroy2(  
                                             semaphore_gestionnaires_signaux,  
                                             getpid(), SEM_SIGNAUX);  
                                     sem_destroy3((*s_etat_processus)                                      sem_destroy3((*s_etat_processus)
                                             .semphore_fork, getpid(),                                              .semaphore_fork, getpid(),
                                             pthread_self(), SEM_FORK);                                              pthread_self(), SEM_FORK);
 #                                   endif  #                                   endif
   
Line 2416  rplinit(int argc, char *argv[], char *en Line 2155  rplinit(int argc, char *argv[], char *en
                             {                              {
 #                               ifndef SEMAPHORES_NOMMES  #                               ifndef SEMAPHORES_NOMMES
                                 sem_post(&((*s_etat_processus).semaphore_fork));                                  sem_post(&((*s_etat_processus).semaphore_fork));
                                 sem_post(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&((*s_etat_processus)                                  sem_destroy(&((*s_etat_processus)
                                         .semaphore_fork));                                          .semaphore_fork));
 #                               else  #                               else
                                 sem_post((*s_etat_processus).semaphore_fork);                                  sem_post((*s_etat_processus).semaphore_fork);
                                 sem_post(semaphore_gestionnaires_signaux);                                  sem_destroy3((*s_etat_processus).semaphore_fork,
                                 sem_destroy2(semaphore_gestionnaires_signaux,  
                                         getpid(), SEM_SIGNAUX);  
                                 sem_destroy3((*s_etat_processus).semphore_fork,  
                                         getpid(), pthread_self(), SEM_FORK);                                          getpid(), pthread_self(), SEM_FORK);
 #                               endif  #                               endif
   
Line 2482  rplinit(int argc, char *argv[], char *en Line 2216  rplinit(int argc, char *argv[], char *en
 #                                       ifndef SEMAPHORES_NOMMES  #                                       ifndef SEMAPHORES_NOMMES
                                         sem_post(&((*s_etat_processus)                                          sem_post(&((*s_etat_processus)
                                                 .semaphore_fork));                                                  .semaphore_fork));
                                         sem_post(  
                                                 &semaphore_gestionnaires_signaux  
                                                 );  
                                         sem_destroy(  
                                                 &semaphore_gestionnaires_signaux  
                                                 );  
                                         sem_destroy(&((*s_etat_processus)                                          sem_destroy(&((*s_etat_processus)
                                                 .semaphore_fork));                                                  .semaphore_fork));
 #                                       else  #                                       else
                                         sem_post((*s_etat_processus)                                          sem_post((*s_etat_processus)
                                                 .semaphore_fork);                                                  .semaphore_fork);
                                         sem_post(  
                                                 semaphore_gestionnaires_signaux  
                                                 );  
                                         sem_destroy2(  
                                                 semaphore_gestionnaires_signaux,  
                                                 getpid(), SEM_SIGNAUX);  
                                         sem_destroy3((*s_etat_processus)                                          sem_destroy3((*s_etat_processus)
                                                 .semphore_fork, getpid(),                                                  .semaphore_fork, getpid(),
                                                 pthread_self(), SEM_FORK);                                                  pthread_self(), SEM_FORK);
 #                                       endif  #                                       endif
   
Line 2538  rplinit(int argc, char *argv[], char *en Line 2260  rplinit(int argc, char *argv[], char *en
                             {                              {
 #                               ifndef SEMAPHORES_NOMMES  #                               ifndef SEMAPHORES_NOMMES
                                 sem_post(&((*s_etat_processus).semaphore_fork));                                  sem_post(&((*s_etat_processus).semaphore_fork));
                                 sem_post(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&((*s_etat_processus)                                  sem_destroy(&((*s_etat_processus)
                                         .semaphore_fork));                                          .semaphore_fork));
 #                               else  #                               else
                                 sem_post((*s_etat_processus).semaphore_fork);                                  sem_post((*s_etat_processus).semaphore_fork);
                                 sem_post(semaphore_gestionnaires_signaux);                                  sem_destroy3((*s_etat_processus).semaphore_fork,
                                 sem_destroy2(semaphore_gestionnaires_signaux,  
                                         getpid(), SEM_SIGNAUX);  
                                 sem_destroy3((*s_etat_processus).semphore_fork,  
                                         getpid(), pthread_self(), SEM_FORK);                                          getpid(), pthread_self(), SEM_FORK);
 #                               endif  #                               endif
   
Line 2582  rplinit(int argc, char *argv[], char *en Line 2299  rplinit(int argc, char *argv[], char *en
                             {                              {
 #                               ifndef SEMAPHORES_NOMMES  #                               ifndef SEMAPHORES_NOMMES
                                 sem_post(&((*s_etat_processus).semaphore_fork));                                  sem_post(&((*s_etat_processus).semaphore_fork));
                                 sem_post(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&((*s_etat_processus)                                  sem_destroy(&((*s_etat_processus)
                                         .semaphore_fork));                                          .semaphore_fork));
 #                               else  #                               else
                                 sem_post((*s_etat_processus).semaphore_fork);                                  sem_post((*s_etat_processus).semaphore_fork);
                                 sem_post(semaphore_gestionnaires_signaux);                                  sem_destroy3((*s_etat_processus).semaphore_fork,
                                 sem_destroy2(semaphore_gestionnaires_signaux,  
                                         getpid(), SEM_SIGNAUX);  
                                 sem_destroy3((*s_etat_processus).semphore_fork,  
                                         getpid(), pthread_self(), SEM_FORK);                                          getpid(), pthread_self(), SEM_FORK);
 #                               endif  #                               endif
   
Line 2711  rplinit(int argc, char *argv[], char *en Line 2423  rplinit(int argc, char *argv[], char *en
             {              {
 #               ifndef SEMAPHORES_NOMMES  #               ifndef SEMAPHORES_NOMMES
                     sem_post(&((*s_etat_processus).semaphore_fork));                      sem_post(&((*s_etat_processus).semaphore_fork));
                     sem_post(&semaphore_gestionnaires_signaux);  
                     sem_destroy(&semaphore_gestionnaires_signaux);  
                     sem_destroy(&((*s_etat_processus)                      sem_destroy(&((*s_etat_processus)
                             .semaphore_fork));                              .semaphore_fork));
 #               else  #               else
                     sem_post((*s_etat_processus).semaphore_fork);                      sem_post((*s_etat_processus).semaphore_fork);
                     sem_post(semaphore_gestionnaires_signaux);                      sem_destroy3((*s_etat_processus).semaphore_fork,
                     sem_destroy2(semaphore_gestionnaires_signaux,  
                             getpid(), SEM_SIGNAUX);  
                     sem_destroy3((*s_etat_processus).semphore_fork,  
                             getpid(), pthread_self(), SEM_FORK);                              getpid(), pthread_self(), SEM_FORK);
 #               endif  #               endif
   
Line 2754  rplinit(int argc, char *argv[], char *en Line 2461  rplinit(int argc, char *argv[], char *en
             {              {
 #               ifndef SEMAPHORES_NOMMES  #               ifndef SEMAPHORES_NOMMES
                     sem_post(&((*s_etat_processus).semaphore_fork));                      sem_post(&((*s_etat_processus).semaphore_fork));
                     sem_post(&semaphore_gestionnaires_signaux);  
                     sem_destroy(&semaphore_gestionnaires_signaux);  
                     sem_destroy(&((*s_etat_processus)                      sem_destroy(&((*s_etat_processus)
                             .semaphore_fork));                              .semaphore_fork));
 #               else  #               else
                     sem_post((*s_etat_processus).semaphore_fork);                      sem_post((*s_etat_processus).semaphore_fork);
                     sem_post(semaphore_gestionnaires_signaux);                      sem_destroy3((*s_etat_processus).semaphore_fork,
                     sem_destroy2(semaphore_gestionnaires_signaux,  
                             getpid(), SEM_SIGNAUX);  
                     sem_destroy3((*s_etat_processus).semphore_fork,  
                             getpid(), pthread_self(), SEM_FORK);                              getpid(), pthread_self(), SEM_FORK);
 #               endif  #               endif
   
Line 2789  rplinit(int argc, char *argv[], char *en Line 2491  rplinit(int argc, char *argv[], char *en
             }              }
   
             signal_test = SIGTEST;              signal_test = SIGTEST;
             kill(getpid(), SIGSEGV);              raise(SIGSEGV);
   
             attente.tv_sec = 0;              attente.tv_sec = 0;
             attente.tv_nsec = 1000000;              attente.tv_nsec = 1000000;
Line 2803  rplinit(int argc, char *argv[], char *en Line 2505  rplinit(int argc, char *argv[], char *en
             {              {
 #               ifndef SEMAPHORES_NOMMES  #               ifndef SEMAPHORES_NOMMES
                     sem_post(&((*s_etat_processus).semaphore_fork));                      sem_post(&((*s_etat_processus).semaphore_fork));
                     sem_post(&semaphore_gestionnaires_signaux);  
                     sem_destroy(&semaphore_gestionnaires_signaux);  
                     sem_destroy(&((*s_etat_processus)                      sem_destroy(&((*s_etat_processus)
                             .semaphore_fork));                              .semaphore_fork));
 #               else  #               else
                     sem_post((*s_etat_processus).semaphore_fork);                      sem_post((*s_etat_processus).semaphore_fork);
                     sem_post(semaphore_gestionnaires_signaux);                      sem_destroy3((*s_etat_processus).semaphore_fork,
                     sem_destroy2(semaphore_gestionnaires_signaux,  
                             getpid(), SEM_SIGNAUX);  
                     sem_destroy3((*s_etat_processus).semphore_fork,  
                             getpid(), pthread_self(), SEM_FORK);                              getpid(), pthread_self(), SEM_FORK);
 #               endif  #               endif
   
Line 2847  rplinit(int argc, char *argv[], char *en Line 2544  rplinit(int argc, char *argv[], char *en
             {              {
 #               ifndef SEMAPHORES_NOMMES  #               ifndef SEMAPHORES_NOMMES
                     sem_post(&((*s_etat_processus).semaphore_fork));                      sem_post(&((*s_etat_processus).semaphore_fork));
                     sem_post(&semaphore_gestionnaires_signaux);  
                     sem_destroy(&semaphore_gestionnaires_signaux);  
                     sem_destroy(&((*s_etat_processus)                      sem_destroy(&((*s_etat_processus)
                             .semaphore_fork));                              .semaphore_fork));
 #               else  #               else
                     sem_post((*s_etat_processus).semaphore_fork);                      sem_post((*s_etat_processus).semaphore_fork);
                     sem_post(semaphore_gestionnaires_signaux);                      sem_destroy3((*s_etat_processus).semaphore_fork,
                     sem_destroy2(semaphore_gestionnaires_signaux,  
                             getpid(), SEM_SIGNAUX);  
                     sem_destroy3((*s_etat_processus).semphore_fork,  
                             getpid(), pthread_self(), SEM_FORK);                              getpid(), pthread_self(), SEM_FORK);
 #               endif  #               endif
   
Line 2889  rplinit(int argc, char *argv[], char *en Line 2581  rplinit(int argc, char *argv[], char *en
             }              }
   
             signal_test = SIGTEST;              signal_test = SIGTEST;
             kill(getpid(), SIGBUS);              raise(SIGBUS);
   
             attente.tv_sec = 0;              attente.tv_sec = 0;
             attente.tv_nsec = 1000000;              attente.tv_nsec = 1000000;
Line 2903  rplinit(int argc, char *argv[], char *en Line 2595  rplinit(int argc, char *argv[], char *en
             {              {
 #               ifndef SEMAPHORES_NOMMES  #               ifndef SEMAPHORES_NOMMES
                     sem_post(&((*s_etat_processus).semaphore_fork));                      sem_post(&((*s_etat_processus).semaphore_fork));
                     sem_post(&semaphore_gestionnaires_signaux);  
                     sem_destroy(&semaphore_gestionnaires_signaux);  
                     sem_destroy(&((*s_etat_processus)                      sem_destroy(&((*s_etat_processus)
                             .semaphore_fork));                              .semaphore_fork));
 #               else  #               else
                     sem_post((*s_etat_processus).semaphore_fork);                      sem_post((*s_etat_processus).semaphore_fork);
                     sem_post(semaphore_gestionnaires_signaux);                      sem_destroy3((*s_etat_processus).semaphore_fork,
                     sem_destroy2(semaphore_gestionnaires_signaux,  
                             getpid(), SEM_SIGNAUX);  
                     sem_destroy3((*s_etat_processus).semphore_fork,  
                             getpid(), pthread_self(), SEM_FORK);                              getpid(), pthread_self(), SEM_FORK);
 #               endif  #               endif
   
Line 2957  rplinit(int argc, char *argv[], char *en Line 2644  rplinit(int argc, char *argv[], char *en
             {              {
 #               ifndef SEMAPHORES_NOMMES  #               ifndef SEMAPHORES_NOMMES
                     sem_post(&((*s_etat_processus).semaphore_fork));                      sem_post(&((*s_etat_processus).semaphore_fork));
                     sem_post(&semaphore_gestionnaires_signaux);  
                     sem_destroy(&semaphore_gestionnaires_signaux);  
                     sem_destroy(&((*s_etat_processus)                      sem_destroy(&((*s_etat_processus)
                             .semaphore_fork));                              .semaphore_fork));
 #               else  #               else
                     sem_post((*s_etat_processus).semaphore_fork);                      sem_post((*s_etat_processus).semaphore_fork);
                     sem_post(semaphore_gestionnaires_signaux);                      sem_destroy3((*s_etat_processus).semaphore_fork,
                     sem_destroy2(semaphore_gestionnaires_signaux,  
                             getpid(), SEM_SIGNAUX);  
                     sem_destroy3((*s_etat_processus).semphore_fork,  
                             getpid(), pthread_self(), SEM_FORK);                              getpid(), pthread_self(), SEM_FORK);
 #               endif  #               endif
   
Line 3028  rplinit(int argc, char *argv[], char *en Line 2710  rplinit(int argc, char *argv[], char *en
             {              {
 #               ifndef SEMAPHORES_NOMMES  #               ifndef SEMAPHORES_NOMMES
                     sem_post(&((*s_etat_processus).semaphore_fork));                      sem_post(&((*s_etat_processus).semaphore_fork));
                     sem_post(&semaphore_gestionnaires_signaux);  
                     sem_destroy(&semaphore_gestionnaires_signaux);  
                     sem_destroy(&((*s_etat_processus)                      sem_destroy(&((*s_etat_processus)
                             .semaphore_fork));                              .semaphore_fork));
 #               else  #               else
                     sem_post((*s_etat_processus).semaphore_fork);                      sem_post((*s_etat_processus).semaphore_fork);
                     sem_post(semaphore_gestionnaires_signaux);                      sem_destroy3((*s_etat_processus).semaphore_fork,
                     sem_destroy2(semaphore_gestionnaires_signaux,  
                             getpid(), SEM_SIGNAUX);  
                     sem_destroy3((*s_etat_processus).semphore_fork,  
                             getpid(), pthread_self(), SEM_FORK);                              getpid(), pthread_self(), SEM_FORK);
 #               endif  #               endif
   
Line 3072  rplinit(int argc, char *argv[], char *en Line 2749  rplinit(int argc, char *argv[], char *en
             {              {
 #               ifndef SEMAPHORES_NOMMES  #               ifndef SEMAPHORES_NOMMES
                     sem_post(&((*s_etat_processus).semaphore_fork));                      sem_post(&((*s_etat_processus).semaphore_fork));
                     sem_post(&semaphore_gestionnaires_signaux);  
                     sem_destroy(&semaphore_gestionnaires_signaux);  
                     sem_destroy(&((*s_etat_processus)                      sem_destroy(&((*s_etat_processus)
                             .semaphore_fork));                              .semaphore_fork));
 #               else  #               else
                     sem_post((*s_etat_processus).semaphore_fork);                      sem_post((*s_etat_processus).semaphore_fork);
                     sem_post(semaphore_gestionnaires_signaux);                      sem_destroy3((*s_etat_processus).semaphore_fork,
                     sem_destroy2(semaphore_gestionnaires_signaux,  
                             getpid(), SEM_SIGNAUX);  
                     sem_destroy3((*s_etat_processus).semphore_fork,  
                             getpid(), pthread_self(), SEM_FORK);                              getpid(), pthread_self(), SEM_FORK);
 #               endif  #               endif
   
Line 3115  rplinit(int argc, char *argv[], char *en Line 2787  rplinit(int argc, char *argv[], char *en
             {              {
 #               ifndef SEMAPHORES_NOMMES  #               ifndef SEMAPHORES_NOMMES
                     sem_post(&((*s_etat_processus).semaphore_fork));                      sem_post(&((*s_etat_processus).semaphore_fork));
                     sem_post(&semaphore_gestionnaires_signaux);  
                     sem_destroy(&semaphore_gestionnaires_signaux);  
                     sem_destroy(&((*s_etat_processus)                      sem_destroy(&((*s_etat_processus)
                             .semaphore_fork));                              .semaphore_fork));
 #               else  #               else
                     sem_post((*s_etat_processus).semaphore_fork);                      sem_post((*s_etat_processus).semaphore_fork);
                     sem_post(semaphore_gestionnaires_signaux);                      sem_destroy3((*s_etat_processus).semaphore_fork,
                     sem_destroy2(semaphore_gestionnaires_signaux,  
                             getpid(), SEM_SIGNAUX);  
                     sem_destroy3((*s_etat_processus).semphore_fork,  
                             getpid(), pthread_self(), SEM_FORK);                              getpid(), pthread_self(), SEM_FORK);
 #               endif  #               endif
   
Line 3159  rplinit(int argc, char *argv[], char *en Line 2826  rplinit(int argc, char *argv[], char *en
             {              {
 #               ifndef SEMAPHORES_NOMMES  #               ifndef SEMAPHORES_NOMMES
                     sem_post(&((*s_etat_processus).semaphore_fork));                      sem_post(&((*s_etat_processus).semaphore_fork));
                     sem_post(&semaphore_gestionnaires_signaux);  
                     sem_destroy(&semaphore_gestionnaires_signaux);  
                     sem_destroy(&((*s_etat_processus)                      sem_destroy(&((*s_etat_processus)
                             .semaphore_fork));                              .semaphore_fork));
 #               else  #               else
                     sem_post((*s_etat_processus).semaphore_fork);                      sem_post((*s_etat_processus).semaphore_fork);
                     sem_post(semaphore_gestionnaires_signaux);                      sem_destroy3((*s_etat_processus).semaphore_fork,
                     sem_destroy2(semaphore_gestionnaires_signaux,  
                             getpid(), SEM_SIGNAUX);  
                     sem_destroy3((*s_etat_processus).semphore_fork,  
                             getpid(), pthread_self(), SEM_FORK);                              getpid(), pthread_self(), SEM_FORK);
 #               endif  #               endif
   
Line 3202  rplinit(int argc, char *argv[], char *en Line 2864  rplinit(int argc, char *argv[], char *en
             {              {
 #               ifndef SEMAPHORES_NOMMES  #               ifndef SEMAPHORES_NOMMES
                     sem_post(&((*s_etat_processus).semaphore_fork));                      sem_post(&((*s_etat_processus).semaphore_fork));
                     sem_post(&semaphore_gestionnaires_signaux);  
                     sem_destroy(&semaphore_gestionnaires_signaux);  
                     sem_destroy(&((*s_etat_processus)                      sem_destroy(&((*s_etat_processus)
                             .semaphore_fork));                              .semaphore_fork));
 #               else  #               else
                     sem_post((*s_etat_processus).semaphore_fork);                      sem_post((*s_etat_processus).semaphore_fork);
                     sem_post(semaphore_gestionnaires_signaux);                      sem_destroy3((*s_etat_processus).semaphore_fork,
                     sem_destroy2(semaphore_gestionnaires_signaux,  
                             getpid(), SEM_SIGNAUX);  
                     sem_destroy3((*s_etat_processus).semphore_fork,  
                             getpid(), pthread_self(), SEM_FORK);                              getpid(), pthread_self(), SEM_FORK);
 #               endif  #               endif
   
Line 3268  rplinit(int argc, char *argv[], char *en Line 2925  rplinit(int argc, char *argv[], char *en
         {          {
 #           ifndef SEMAPHORES_NOMMES  #           ifndef SEMAPHORES_NOMMES
                 sem_post(&((*s_etat_processus).semaphore_fork));                  sem_post(&((*s_etat_processus).semaphore_fork));
                 sem_post(&semaphore_gestionnaires_signaux);  
                 sem_destroy(&semaphore_gestionnaires_signaux);  
                 sem_destroy(&((*s_etat_processus).semaphore_fork));                  sem_destroy(&((*s_etat_processus).semaphore_fork));
 #           else  #           else
                 sem_post((*s_etat_processus).semaphore_fork);                  sem_post((*s_etat_processus).semaphore_fork);
                 sem_post(semaphore_gestionnaires_signaux);                  sem_destroy3((*s_etat_processus).semaphore_fork,
                 sem_destroy2(semaphore_gestionnaires_signaux,  
                         getpid(), SEM_SIGNAUX);  
                 sem_destroy3((*s_etat_processus).semphore_fork,  
                         getpid(), pthread_self(), SEM_FORK);                          getpid(), pthread_self(), SEM_FORK);
 #           endif  #           endif
   
Line 3328  rplinit(int argc, char *argv[], char *en Line 2980  rplinit(int argc, char *argv[], char *en
         {          {
 #           ifndef SEMAPHORES_NOMMES  #           ifndef SEMAPHORES_NOMMES
                 sem_post(&((*s_etat_processus).semaphore_fork));                  sem_post(&((*s_etat_processus).semaphore_fork));
                 sem_post(&semaphore_gestionnaires_signaux);  
                 sem_destroy(&semaphore_gestionnaires_signaux);  
                 sem_destroy(&((*s_etat_processus).semaphore_fork));                  sem_destroy(&((*s_etat_processus).semaphore_fork));
 #           else  #           else
                 sem_post((*s_etat_processus).semaphore_fork);                  sem_post((*s_etat_processus).semaphore_fork);
                 sem_post(semaphore_gestionnaires_signaux);                  sem_destroy3((*s_etat_processus).semaphore_fork,
                 sem_destroy2(semaphore_gestionnaires_signaux,  
                         getpid(), SEM_SIGNAUX);  
                 sem_destroy3((*s_etat_processus).semphore_fork,  
                         getpid(), pthread_self(), SEM_FORK);                          getpid(), pthread_self(), SEM_FORK);
 #           endif  #           endif
   
Line 3392  rplinit(int argc, char *argv[], char *en Line 3039  rplinit(int argc, char *argv[], char *en
   
             (*s_etat_processus).liste_mutexes = NULL;              (*s_etat_processus).liste_mutexes = NULL;
             (*s_etat_processus).sections_critiques = 0;              (*s_etat_processus).sections_critiques = 0;
               (*s_etat_processus).initialisation_scheduler = d_faux;
   
             (*s_etat_processus).test_instruction = 'N';              (*s_etat_processus).test_instruction = 'N';
             (*s_etat_processus).nombre_arguments = 0;              (*s_etat_processus).nombre_arguments = 0;
Line 3425  rplinit(int argc, char *argv[], char *en Line 3073  rplinit(int argc, char *argv[], char *en
   
             (*s_etat_processus).s_arbre_variables = NULL;              (*s_etat_processus).s_arbre_variables = NULL;
             (*s_etat_processus).l_liste_variables_par_niveau = NULL;              (*s_etat_processus).l_liste_variables_par_niveau = NULL;
               (*s_etat_processus).l_liste_variables_statiques = NULL;
             (*s_etat_processus).gel_liste_variables = d_faux;              (*s_etat_processus).gel_liste_variables = d_faux;
               s_arbre_variables_partagees = NULL;
               l_liste_variables_partagees = NULL;
               (*s_etat_processus).s_arbre_variables_partagees =
                       &s_arbre_variables_partagees;
               (*s_etat_processus).l_liste_variables_partagees =
                       &l_liste_variables_partagees;
             (*s_etat_processus).pointeur_variable_courante = NULL;              (*s_etat_processus).pointeur_variable_courante = NULL;
             (*s_etat_processus).pointeur_variable_statique_courante = NULL;              (*s_etat_processus).pointeur_variable_statique_courante = NULL;
             (*s_etat_processus).l_liste_variables_statiques = NULL;              (*s_etat_processus).pointeur_variable_partagee_courante = NULL;
             (*s_etat_processus).niveau_courant = 0;              (*s_etat_processus).niveau_courant = 0;
             (*s_etat_processus).niveau_initial = 0;              (*s_etat_processus).niveau_initial = 0;
             (*s_etat_processus).creation_variables_statiques = d_faux;              (*s_etat_processus).creation_variables_statiques = d_faux;
Line 3587  rplinit(int argc, char *argv[], char *en Line 3242  rplinit(int argc, char *argv[], char *en
             {              {
 #               ifndef SEMAPHORES_NOMMES  #               ifndef SEMAPHORES_NOMMES
                     sem_post(&((*s_etat_processus).semaphore_fork));                      sem_post(&((*s_etat_processus).semaphore_fork));
                     sem_post(&semaphore_gestionnaires_signaux);  
                     sem_destroy(&semaphore_gestionnaires_signaux);  
                     sem_destroy(&((*s_etat_processus).semaphore_fork));                      sem_destroy(&((*s_etat_processus).semaphore_fork));
 #               else  #               else
                     sem_post((*s_etat_processus).semaphore_fork);                      sem_post((*s_etat_processus).semaphore_fork);
                     sem_post(semaphore_gestionnaires_signaux);                      sem_destroy3((*s_etat_processus).semaphore_fork,
                     sem_destroy2(semaphore_gestionnaires_signaux,  
                             getpid(), SEM_SIGNAUX);  
                     sem_destroy3((*s_etat_processus).semphore_fork,  
                             getpid(), pthread_self(), SEM_FORK);                              getpid(), pthread_self(), SEM_FORK);
 #               endif  #               endif
   
Line 3630  rplinit(int argc, char *argv[], char *en Line 3280  rplinit(int argc, char *argv[], char *en
             {              {
 #               ifndef SEMAPHORES_NOMMES  #               ifndef SEMAPHORES_NOMMES
                     sem_post(&((*s_etat_processus).semaphore_fork));                      sem_post(&((*s_etat_processus).semaphore_fork));
                     sem_post(&semaphore_gestionnaires_signaux);  
                     sem_destroy(&semaphore_gestionnaires_signaux);  
                     sem_destroy(&((*s_etat_processus).semaphore_fork));                      sem_destroy(&((*s_etat_processus).semaphore_fork));
 #               else  #               else
                     sem_post((*s_etat_processus).semaphore_fork);                      sem_post((*s_etat_processus).semaphore_fork);
                     sem_post(semaphore_gestionnaires_signaux);                      sem_destroy3((*s_etat_processus).semaphore_fork,
                     sem_destroy2(semaphore_gestionnaires_signaux,  
                             getpid(), SEM_SIGNAUX);  
                     sem_destroy3((*s_etat_processus).semphore_fork,  
                             getpid(), pthread_self(), SEM_FORK);                              getpid(), pthread_self(), SEM_FORK);
 #               endif  #               endif
   
Line 3687  rplinit(int argc, char *argv[], char *en Line 3332  rplinit(int argc, char *argv[], char *en
             {              {
 #               ifndef SEMAPHORES_NOMMES  #               ifndef SEMAPHORES_NOMMES
                     sem_post(&((*s_etat_processus).semaphore_fork));                      sem_post(&((*s_etat_processus).semaphore_fork));
                     sem_post(&semaphore_gestionnaires_signaux);  
                     sem_destroy(&semaphore_gestionnaires_signaux);  
                     sem_destroy(&((*s_etat_processus).semaphore_fork));                      sem_destroy(&((*s_etat_processus).semaphore_fork));
 #               else  #               else
                     sem_post((*s_etat_processus).semaphore_fork);                      sem_post((*s_etat_processus).semaphore_fork);
                     sem_post(semaphore_gestionnaires_signaux);                      sem_destroy3((*s_etat_processus).semaphore_fork,
                     sem_destroy2(semaphore_gestionnaires_signaux,  
                             getpid(), SEM_SIGNAUX);  
                     sem_destroy3((*s_etat_processus).semphore_fork,  
                             getpid(), pthread_self(), SEM_FORK);                              getpid(), pthread_self(), SEM_FORK);
 #               endif  #               endif
   
Line 3777  rplinit(int argc, char *argv[], char *en Line 3417  rplinit(int argc, char *argv[], char *en
                     {                      {
 #                       ifndef SEMAPHORES_NOMMES  #                       ifndef SEMAPHORES_NOMMES
                             sem_post(&((*s_etat_processus).semaphore_fork));                              sem_post(&((*s_etat_processus).semaphore_fork));
                             sem_post(&semaphore_gestionnaires_signaux);  
                             sem_destroy(&semaphore_gestionnaires_signaux);  
                             sem_destroy(&((*s_etat_processus).semaphore_fork));                              sem_destroy(&((*s_etat_processus).semaphore_fork));
 #                       else  #                       else
                             sem_post((*s_etat_processus).semaphore_fork);                              sem_post((*s_etat_processus).semaphore_fork);
                             sem_post(semaphore_gestionnaires_signaux);                              sem_destroy3((*s_etat_processus).semaphore_fork,
                             sem_destroy2(semaphore_gestionnaires_signaux,  
                                     getpid(), SEM_SIGNAUX);  
                             sem_destroy3((*s_etat_processus).semphore_fork,  
                                     getpid(), pthread_self(), SEM_FORK);                                      getpid(), pthread_self(), SEM_FORK);
 #                       endif  #                       endif
   
Line 3829  rplinit(int argc, char *argv[], char *en Line 3464  rplinit(int argc, char *argv[], char *en
                     {                      {
 #                       ifndef SEMAPHORES_NOMMES  #                       ifndef SEMAPHORES_NOMMES
                             sem_post(&((*s_etat_processus).semaphore_fork));                              sem_post(&((*s_etat_processus).semaphore_fork));
                             sem_post(&semaphore_gestionnaires_signaux);  
                             sem_destroy(&semaphore_gestionnaires_signaux);  
                             sem_destroy(&((*s_etat_processus).semaphore_fork));                              sem_destroy(&((*s_etat_processus).semaphore_fork));
 #                       else  #                       else
                             sem_post((*s_etat_processus).semaphore_fork);                              sem_post((*s_etat_processus).semaphore_fork);
                             sem_post(semaphore_gestionnaires_signaux);                              sem_destroy3((*s_etat_processus).semaphore_fork,
                             sem_destroy2(semaphore_gestionnaires_signaux,  
                                     getpid(), SEM_SIGNAUX);  
                             sem_destroy3((*s_etat_processus).semphore_fork,  
                                     getpid(), pthread_self(), SEM_FORK);                                      getpid(), pthread_self(), SEM_FORK);
 #                       endif  #                       endif
   
Line 3909  rplinit(int argc, char *argv[], char *en Line 3539  rplinit(int argc, char *argv[], char *en
                     {                      {
 #                       ifndef SEMAPHORES_NOMMES  #                       ifndef SEMAPHORES_NOMMES
                             sem_post(&((*s_etat_processus).semaphore_fork));                              sem_post(&((*s_etat_processus).semaphore_fork));
                             sem_post(&semaphore_gestionnaires_signaux);  
                             sem_destroy(&semaphore_gestionnaires_signaux);  
                             sem_destroy(&((*s_etat_processus).semaphore_fork));                              sem_destroy(&((*s_etat_processus).semaphore_fork));
 #                       else  #                       else
                             sem_post((*s_etat_processus).semaphore_fork);                              sem_post((*s_etat_processus).semaphore_fork);
                             sem_post(semaphore_gestionnaires_signaux);                              sem_destroy3((*s_etat_processus).semaphore_fork,
                             sem_destroy2(semaphore_gestionnaires_signaux,  
                                     getpid(), SEM_SIGNAUX);  
                             sem_destroy3((*s_etat_processus).semphore_fork,  
                                     getpid(), pthread_self(), SEM_FORK);                                      getpid(), pthread_self(), SEM_FORK);
 #                       endif  #                       endif
   
Line 3965  rplinit(int argc, char *argv[], char *en Line 3590  rplinit(int argc, char *argv[], char *en
                     {                      {
 #                       ifndef SEMAPHORES_NOMMES  #                       ifndef SEMAPHORES_NOMMES
                             sem_post(&((*s_etat_processus).semaphore_fork));                              sem_post(&((*s_etat_processus).semaphore_fork));
                             sem_post(&semaphore_gestionnaires_signaux);  
                             sem_destroy(&semaphore_gestionnaires_signaux);  
                             sem_destroy(&((*s_etat_processus).semaphore_fork));                              sem_destroy(&((*s_etat_processus).semaphore_fork));
 #                       else  #                       else
                             sem_post((*s_etat_processus).semaphore_fork);                              sem_post((*s_etat_processus).semaphore_fork);
                             sem_post(semaphore_gestionnaires_signaux);                              sem_destroy3((*s_etat_processus).semaphore_fork,
                             sem_destroy2(semaphore_gestionnaires_signaux,  
                                     getpid(), SEM_SIGNAUX);  
                             sem_destroy3((*s_etat_processus).semphore_fork,  
                                     getpid(), pthread_self(), SEM_FORK);                                      getpid(), pthread_self(), SEM_FORK);
 #                       endif  #                       endif
   
Line 4061  rplinit(int argc, char *argv[], char *en Line 3681  rplinit(int argc, char *argv[], char *en
                         {                          {
 #                           ifndef SEMAPHORES_NOMMES  #                           ifndef SEMAPHORES_NOMMES
                                 sem_post(&((*s_etat_processus).semaphore_fork));                                  sem_post(&((*s_etat_processus).semaphore_fork));
                                 sem_post(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&((*s_etat_processus)                                  sem_destroy(&((*s_etat_processus)
                                         .semaphore_fork));                                          .semaphore_fork));
 #                           else  #                           else
                                 sem_post((*s_etat_processus).semaphore_fork);                                  sem_post((*s_etat_processus).semaphore_fork);
                                 sem_post(semaphore_gestionnaires_signaux);                                  sem_destroy3((*s_etat_processus).semaphore_fork,
                                 sem_destroy2(semaphore_gestionnaires_signaux,  
                                         getpid(), SEM_SIGNAUX);  
                                 sem_destroy3((*s_etat_processus).semphore_fork,  
                                         getpid(), pthread_self(), SEM_FORK);                                          getpid(), pthread_self(), SEM_FORK);
 #                           endif  #                           endif
   
Line 4121  rplinit(int argc, char *argv[], char *en Line 3736  rplinit(int argc, char *argv[], char *en
                     {                      {
 #                       ifndef SEMAPHORES_NOMMES  #                       ifndef SEMAPHORES_NOMMES
                             sem_post(&((*s_etat_processus).semaphore_fork));                              sem_post(&((*s_etat_processus).semaphore_fork));
                             sem_post(&semaphore_gestionnaires_signaux);  
                             sem_destroy(&semaphore_gestionnaires_signaux);  
                             sem_destroy(&((*s_etat_processus).semaphore_fork));                              sem_destroy(&((*s_etat_processus).semaphore_fork));
 #                       else  #                       else
                             sem_post((*s_etat_processus).semaphore_fork);                              sem_post((*s_etat_processus).semaphore_fork);
                             sem_post(semaphore_gestionnaires_signaux);                              sem_destroy3((*s_etat_processus).semaphore_fork,
                             sem_destroy2(semaphore_gestionnaires_signaux,  
                                     getpid(), SEM_SIGNAUX);  
                             sem_destroy3((*s_etat_processus).semphore_fork,  
                                     getpid(), pthread_self(), SEM_FORK);                                      getpid(), pthread_self(), SEM_FORK);
 #                       endif  #                       endif
   
Line 4208  rplinit(int argc, char *argv[], char *en Line 3818  rplinit(int argc, char *argv[], char *en
                     {                      {
 #                       ifndef SEMAPHORES_NOMMES  #                       ifndef SEMAPHORES_NOMMES
                             sem_post(&((*s_etat_processus).semaphore_fork));                              sem_post(&((*s_etat_processus).semaphore_fork));
                             sem_post(&semaphore_gestionnaires_signaux);  
                             sem_destroy(&semaphore_gestionnaires_signaux);  
                             sem_destroy(&((*s_etat_processus).semaphore_fork));                              sem_destroy(&((*s_etat_processus).semaphore_fork));
 #                       else  #                       else
                             sem_post((*s_etat_processus).semaphore_fork);                              sem_post((*s_etat_processus).semaphore_fork);
                             sem_post(semaphore_gestionnaires_signaux);                              sem_destroy3((*s_etat_processus).semaphore_fork,
                             sem_destroy2(semaphore_gestionnaires_signaux,  
                                     getpid(), SEM_SIGNAUX);  
                             sem_destroy3((*s_etat_processus).semphore_fork,  
                                     getpid(), pthread_self(), SEM_FORK);                                      getpid(), pthread_self(), SEM_FORK);
 #                       endif  #                       endif
   
Line 4256  rplinit(int argc, char *argv[], char *en Line 3861  rplinit(int argc, char *argv[], char *en
                     {                      {
 #                       ifndef SEMAPHORES_NOMMES  #                       ifndef SEMAPHORES_NOMMES
                             sem_post(&((*s_etat_processus).semaphore_fork));                              sem_post(&((*s_etat_processus).semaphore_fork));
                             sem_post(&semaphore_gestionnaires_signaux);  
                             sem_destroy(&semaphore_gestionnaires_signaux);  
                             sem_destroy(&((*s_etat_processus).semaphore_fork));                              sem_destroy(&((*s_etat_processus).semaphore_fork));
 #                       else  #                       else
                             sem_post((*s_etat_processus).semaphore_fork);                              sem_post((*s_etat_processus).semaphore_fork);
                             sem_post(semaphore_gestionnaires_signaux);                              sem_destroy3((*s_etat_processus).semaphore_fork,
                             sem_destroy2(semaphore_gestionnaires_signaux,  
                                     getpid(), SEM_SIGNAUX);  
                             sem_destroy3((*s_etat_processus).semphore_fork,  
                                     getpid(), pthread_self(), SEM_FORK);                                      getpid(), pthread_self(), SEM_FORK);
 #                       endif  #                       endif
   
Line 4305  rplinit(int argc, char *argv[], char *en Line 3905  rplinit(int argc, char *argv[], char *en
                     {                      {
 #                       ifndef SEMAPHORES_NOMMES  #                       ifndef SEMAPHORES_NOMMES
                             sem_post(&((*s_etat_processus).semaphore_fork));                              sem_post(&((*s_etat_processus).semaphore_fork));
                             sem_post(&semaphore_gestionnaires_signaux);  
                             sem_destroy(&semaphore_gestionnaires_signaux);  
                             sem_destroy(&((*s_etat_processus).semaphore_fork));                              sem_destroy(&((*s_etat_processus).semaphore_fork));
 #                       else  #                       else
                             sem_post((*s_etat_processus).semaphore_fork);                              sem_post((*s_etat_processus).semaphore_fork);
                             sem_post(semaphore_gestionnaires_signaux);                              sem_destroy3((*s_etat_processus).semaphore_fork,
                             sem_destroy2(semaphore_gestionnaires_signaux,  
                                     getpid(), SEM_SIGNAUX);  
                             sem_destroy3((*s_etat_processus).semphore_fork,  
                                     getpid(), pthread_self(), SEM_FORK);                                      getpid(), pthread_self(), SEM_FORK);
 #                       endif  #                       endif
   
Line 4353  rplinit(int argc, char *argv[], char *en Line 3948  rplinit(int argc, char *argv[], char *en
                     {                      {
 #                       ifndef SEMAPHORES_NOMMES  #                       ifndef SEMAPHORES_NOMMES
                             sem_post(&((*s_etat_processus).semaphore_fork));                              sem_post(&((*s_etat_processus).semaphore_fork));
                             sem_post(&semaphore_gestionnaires_signaux);  
                             sem_destroy(&semaphore_gestionnaires_signaux);  
                             sem_destroy(&((*s_etat_processus).semaphore_fork));                              sem_destroy(&((*s_etat_processus).semaphore_fork));
 #                       else  #                       else
                             sem_post((*s_etat_processus).semaphore_fork);                              sem_post((*s_etat_processus).semaphore_fork);
                             sem_post(semaphore_gestionnaires_signaux);                              sem_destroy3((*s_etat_processus).semaphore_fork,
                             sem_destroy2(semaphore_gestionnaires_signaux,  
                                     getpid(), SEM_SIGNAUX);  
                             sem_destroy3((*s_etat_processus).semphore_fork,  
                                     getpid(), pthread_self(), SEM_FORK);                                      getpid(), pthread_self(), SEM_FORK);
 #                       endif  #                       endif
   
Line 4406  rplinit(int argc, char *argv[], char *en Line 3996  rplinit(int argc, char *argv[], char *en
                     {                      {
 #                       ifndef SEMAPHORES_NOMMES  #                       ifndef SEMAPHORES_NOMMES
                             sem_post(&((*s_etat_processus).semaphore_fork));                              sem_post(&((*s_etat_processus).semaphore_fork));
                             sem_post(&semaphore_gestionnaires_signaux);  
                             sem_destroy(&semaphore_gestionnaires_signaux);  
                             sem_destroy(&((*s_etat_processus).semaphore_fork));                              sem_destroy(&((*s_etat_processus).semaphore_fork));
 #                       else  #                       else
                             sem_post((*s_etat_processus).semaphore_fork);                              sem_post((*s_etat_processus).semaphore_fork);
                             sem_post(semaphore_gestionnaires_signaux);                              sem_destroy3((*s_etat_processus).semaphore_fork,
                             sem_destroy2(semaphore_gestionnaires_signaux,  
                                     getpid(), SEM_SIGNAUX);  
                             sem_destroy3((*s_etat_processus).semphore_fork,  
                                     getpid(), pthread_self(), SEM_FORK);                                      getpid(), pthread_self(), SEM_FORK);
 #                       endif  #                       endif
   
Line 4464  rplinit(int argc, char *argv[], char *en Line 4049  rplinit(int argc, char *argv[], char *en
                     {                      {
                         (*s_etat_processus).erreur_systeme = d_es;                          (*s_etat_processus).erreur_systeme = d_es;
                         encart(s_etat_processus,                          encart(s_etat_processus,
                                 (unsigned long) (5 * 1000000));                                  (integer8) (5 * 1000000));
   
                         if ((*s_etat_processus).erreur_systeme != d_es)                          if ((*s_etat_processus).erreur_systeme != d_es)
                         {                          {
Line 4474  rplinit(int argc, char *argv[], char *en Line 4059  rplinit(int argc, char *argv[], char *en
 #                               ifndef SEMAPHORES_NOMMES  #                               ifndef SEMAPHORES_NOMMES
                                     sem_post(&((*s_etat_processus)                                      sem_post(&((*s_etat_processus)
                                             .semaphore_fork));                                              .semaphore_fork));
                                     sem_post(&semaphore_gestionnaires_signaux);  
                                     sem_destroy(  
                                             &semaphore_gestionnaires_signaux);  
                                     sem_destroy(&((*s_etat_processus)                                      sem_destroy(&((*s_etat_processus)
                                             .semaphore_fork));                                              .semaphore_fork));
 #                               else  #                               else
                                     sem_post((*s_etat_processus)                                      sem_post((*s_etat_processus)
                                             .semaphore_fork);                                              .semaphore_fork);
                                     sem_post(semaphore_gestionnaires_signaux);  
                                     sem_destroy2(  
                                             semaphore_gestionnaires_signaux,  
                                             getpid(), SEM_SIGNAUX);  
                                     sem_destroy3((*s_etat_processus)                                      sem_destroy3((*s_etat_processus)
                                             .semphore_fork,                                              .semaphore_fork,
                                             getpid(), pthread_self(), SEM_FORK);                                              getpid(), pthread_self(), SEM_FORK);
 #                               endif  #                               endif
   
Line 4544  rplinit(int argc, char *argv[], char *en Line 4122  rplinit(int argc, char *argv[], char *en
 #                               ifndef SEMAPHORES_NOMMES  #                               ifndef SEMAPHORES_NOMMES
                                     sem_post(&((*s_etat_processus)                                      sem_post(&((*s_etat_processus)
                                             .semaphore_fork));                                              .semaphore_fork));
                                     sem_post(&semaphore_gestionnaires_signaux);  
                                     sem_destroy(  
                                             &semaphore_gestionnaires_signaux);  
                                     sem_destroy(&((*s_etat_processus)                                      sem_destroy(&((*s_etat_processus)
                                             .semaphore_fork));                                              .semaphore_fork));
 #                               else  #                               else
                                     sem_post((*s_etat_processus)                                      sem_post((*s_etat_processus)
                                             .semaphore_fork);                                              .semaphore_fork);
                                     sem_post(semaphore_gestionnaires_signaux);  
                                     sem_destroy2(  
                                             semaphore_gestionnaires_signaux,  
                                             getpid(), SEM_SIGNAUX);  
                                     sem_destroy3((*s_etat_processus)                                      sem_destroy3((*s_etat_processus)
                                             .semphore_fork,                                              .semaphore_fork,
                                             getpid(), pthread_self(), SEM_FORK);                                              getpid(), pthread_self(), SEM_FORK);
 #                               endif  #                               endif
   
Line 4595  rplinit(int argc, char *argv[], char *en Line 4166  rplinit(int argc, char *argv[], char *en
 #                               ifndef SEMAPHORES_NOMMES  #                               ifndef SEMAPHORES_NOMMES
                                     sem_post(&((*s_etat_processus)                                      sem_post(&((*s_etat_processus)
                                             .semaphore_fork));                                              .semaphore_fork));
                                     sem_post(&semaphore_gestionnaires_signaux);  
                                     sem_destroy(  
                                             &semaphore_gestionnaires_signaux);  
                                     sem_destroy(&((*s_etat_processus)                                      sem_destroy(&((*s_etat_processus)
                                             .semaphore_fork));                                              .semaphore_fork));
 #                               else  #                               else
                                     sem_post((*s_etat_processus)                                      sem_post((*s_etat_processus)
                                             .semaphore_fork);                                              .semaphore_fork);
                                     sem_post(semaphore_gestionnaires_signaux);  
                                     sem_destroy2(  
                                             semaphore_gestionnaires_signaux,  
                                             getpid(), SEM_SIGNAUX);  
                                     sem_destroy3((*s_etat_processus)                                      sem_destroy3((*s_etat_processus)
                                             .semphore_fork,                                              .semaphore_fork,
                                             getpid(), pthread_self(), SEM_FORK);                                              getpid(), pthread_self(), SEM_FORK);
 #                               endif  #                               endif
   
Line 4645  rplinit(int argc, char *argv[], char *en Line 4209  rplinit(int argc, char *argv[], char *en
                         (*s_etat_processus).definitions_chainees = tampon;                          (*s_etat_processus).definitions_chainees = tampon;
                         (*s_etat_processus).position_courante = 0;                          (*s_etat_processus).position_courante = 0;
   
                           (*s_etat_processus).type_en_cours = NON;
                         recherche_type(s_etat_processus);                          recherche_type(s_etat_processus);
   
                         if ((*s_etat_processus).erreur_systeme != d_es)                          if ((*s_etat_processus).erreur_systeme != d_es)
                         {                          {
 #                           ifndef SEMAPHORES_NOMMES  #                           ifndef SEMAPHORES_NOMMES
                                 sem_post(&((*s_etat_processus).semaphore_fork));                                  sem_post(&((*s_etat_processus).semaphore_fork));
                                 sem_post(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&((*s_etat_processus)                                  sem_destroy(&((*s_etat_processus)
                                         .semaphore_fork));                                          .semaphore_fork));
 #                           else  #                           else
                                 sem_post((*s_etat_processus).semaphore_fork);                                  sem_post((*s_etat_processus).semaphore_fork);
                                 sem_post(semaphore_gestionnaires_signaux);                                  sem_destroy3((*s_etat_processus).semaphore_fork,
                                 sem_destroy2(semaphore_gestionnaires_signaux,  
                                         getpid(), SEM_SIGNAUX);  
                                 sem_destroy3((*s_etat_processus).semphore_fork,  
                                         getpid(), pthread_self(), SEM_FORK);                                          getpid(), pthread_self(), SEM_FORK);
 #                           endif  #                           endif
   
Line 4711  rplinit(int argc, char *argv[], char *en Line 4271  rplinit(int argc, char *argv[], char *en
 #                               ifndef SEMAPHORES_NOMMES  #                               ifndef SEMAPHORES_NOMMES
                                     sem_post(&((*s_etat_processus)                                      sem_post(&((*s_etat_processus)
                                             .semaphore_fork));                                              .semaphore_fork));
                                     sem_post(&semaphore_gestionnaires_signaux);  
                                     sem_destroy(  
                                             &semaphore_gestionnaires_signaux);  
                                     sem_destroy(&((*s_etat_processus)                                      sem_destroy(&((*s_etat_processus)
                                             .semaphore_fork));                                              .semaphore_fork));
 #                               else  #                               else
                                     sem_post((*s_etat_processus)                                      sem_post((*s_etat_processus)
                                             .semaphore_fork);                                              .semaphore_fork);
                                     sem_post(semaphore_gestionnaires_signaux);  
                                     sem_destroy2(  
                                             semaphore_gestionnaires_signaux,  
                                             getpid(), SEM_SIGNAUX);  
                                     sem_destroy3((*s_etat_processus)                                      sem_destroy3((*s_etat_processus)
                                             .semphore_fork,                                              .semaphore_fork,
                                             getpid(), pthread_self(), SEM_FORK);                                              getpid(), pthread_self(), SEM_FORK);
 #                               endif  #                               endif
   
Line 4763  rplinit(int argc, char *argv[], char *en Line 4316  rplinit(int argc, char *argv[], char *en
   
 #                           ifndef SEMAPHORES_NOMMES  #                           ifndef SEMAPHORES_NOMMES
                                 sem_post(&((*s_etat_processus).semaphore_fork));                                  sem_post(&((*s_etat_processus).semaphore_fork));
                                 sem_post(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&((*s_etat_processus)                                  sem_destroy(&((*s_etat_processus)
                                         .semaphore_fork));                                          .semaphore_fork));
 #                           else  #                           else
                                 sem_post((*s_etat_processus).semaphore_fork);                                  sem_post((*s_etat_processus).semaphore_fork);
                                 sem_post(semaphore_gestionnaires_signaux);                                  sem_destroy3((*s_etat_processus).semaphore_fork,
                                 sem_destroy2(semaphore_gestionnaires_signaux,  
                                         getpid(), SEM_SIGNAUX);  
                                 sem_destroy3((*s_etat_processus).semphore_fork,  
                                         getpid(), pthread_self(), SEM_FORK);                                          getpid(), pthread_self(), SEM_FORK);
 #                           endif  #                           endif
   
Line 4803  rplinit(int argc, char *argv[], char *en Line 4351  rplinit(int argc, char *argv[], char *en
 #                               ifndef SEMAPHORES_NOMMES  #                               ifndef SEMAPHORES_NOMMES
                                     sem_post(&((*s_etat_processus)                                      sem_post(&((*s_etat_processus)
                                             .semaphore_fork));                                              .semaphore_fork));
                                     sem_post(&semaphore_gestionnaires_signaux);  
                                     sem_destroy(  
                                             &semaphore_gestionnaires_signaux);  
                                     sem_destroy(&((*s_etat_processus)                                      sem_destroy(&((*s_etat_processus)
                                             .semaphore_fork));                                              .semaphore_fork));
 #                               else  #                               else
                                     sem_post((*s_etat_processus)                                      sem_post((*s_etat_processus)
                                             .semaphore_fork);                                              .semaphore_fork);
                                     sem_post(semaphore_gestionnaires_signaux);  
                                     sem_destroy2(  
                                             semaphore_gestionnaires_signaux,  
                                             getpid(), SEM_SIGNAUX);  
                                     sem_destroy3((*s_etat_processus)                                      sem_destroy3((*s_etat_processus)
                                             .semphore_fork,                                              .semaphore_fork,
                                             getpid(), pthread_self(), SEM_FORK);                                              getpid(), pthread_self(), SEM_FORK);
 #                               endif  #                               endif
   
Line 4856  rplinit(int argc, char *argv[], char *en Line 4397  rplinit(int argc, char *argv[], char *en
   
 #                           ifndef SEMAPHORES_NOMMES  #                           ifndef SEMAPHORES_NOMMES
                                 sem_post(&((*s_etat_processus).semaphore_fork));                                  sem_post(&((*s_etat_processus).semaphore_fork));
                                 sem_post(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&semaphore_gestionnaires_signaux);  
                                 sem_destroy(&((*s_etat_processus)                                  sem_destroy(&((*s_etat_processus)
                                         .semaphore_fork));                                          .semaphore_fork));
 #                           else  #                           else
                                 sem_post((*s_etat_processus).semaphore_fork);                                  sem_post((*s_etat_processus).semaphore_fork);
                                 sem_post(semaphore_gestionnaires_signaux);                                  sem_destroy3((*s_etat_processus).semaphore_fork,
                                 sem_destroy2(semaphore_gestionnaires_signaux,  
                                         getpid(), SEM_SIGNAUX);  
                                 sem_destroy3((*s_etat_processus).semphore_fork,  
                                         getpid(), pthread_self(), SEM_FORK);                                          getpid(), pthread_self(), SEM_FORK);
 #                           endif  #                           endif
   
Line 4886  rplinit(int argc, char *argv[], char *en Line 4422  rplinit(int argc, char *argv[], char *en
                             return(EXIT_FAILURE);                              return(EXIT_FAILURE);
                         }                          }
   
                           empilement_pile_systeme(s_etat_processus);
   
                         if (evaluation(s_etat_processus, s_objet, 'E')                          if (evaluation(s_etat_processus, s_objet, 'E')
                                 == d_erreur)                                  == d_erreur)
                         {                          {
Line 4897  rplinit(int argc, char *argv[], char *en Line 4435  rplinit(int argc, char *argv[], char *en
 #                                   ifndef SEMAPHORES_NOMMES  #                                   ifndef SEMAPHORES_NOMMES
                                         sem_post(&((*s_etat_processus)                                          sem_post(&((*s_etat_processus)
                                                 .semaphore_fork));                                                  .semaphore_fork));
                                         sem_post(  
                                                 &semaphore_gestionnaires_signaux  
                                                 );  
                                         sem_destroy(  
                                                 &semaphore_gestionnaires_signaux  
                                                 );  
                                         sem_destroy(&((*s_etat_processus)                                          sem_destroy(&((*s_etat_processus)
                                                 .semaphore_fork));                                                  .semaphore_fork));
 #                                   else  #                                   else
                                         sem_post((*s_etat_processus)                                          sem_post((*s_etat_processus)
                                                 .semaphore_fork);                                                  .semaphore_fork);
                                         sem_post(  
                                                 semaphore_gestionnaires_signaux  
                                                 );  
                                         sem_destroy2(  
                                                 semaphore_gestionnaires_signaux,  
                                                 getpid(), SEM_SIGNAUX);  
                                         sem_destroy3((*s_etat_processus)                                          sem_destroy3((*s_etat_processus)
                                                 .semphore_fork, getpid(),                                                  .semaphore_fork, getpid(),
                                                 pthread_self(), SEM_FORK);                                                  pthread_self(), SEM_FORK);
 #                                   endif  #                                   endif
   
Line 4956  rplinit(int argc, char *argv[], char *en Line 4482  rplinit(int argc, char *argv[], char *en
 #                               ifndef SEMAPHORES_NOMMES  #                               ifndef SEMAPHORES_NOMMES
                                     sem_post(&((*s_etat_processus)                                      sem_post(&((*s_etat_processus)
                                             .semaphore_fork));                                              .semaphore_fork));
                                     sem_post(&semaphore_gestionnaires_signaux);  
                                     sem_destroy(  
                                             &semaphore_gestionnaires_signaux);  
                                     sem_destroy(&((*s_etat_processus)                                      sem_destroy(&((*s_etat_processus)
                                             .semaphore_fork));                                              .semaphore_fork));
 #                               else  #                               else
                                     sem_post((*s_etat_processus)                                      sem_post((*s_etat_processus)
                                             .semaphore_fork);                                              .semaphore_fork);
                                     sem_post(semaphore_gestionnaires_signaux);  
                                     sem_destroy2(  
                                             semaphore_gestionnaires_signaux,  
                                             getpid(), SEM_SIGNAUX);  
                                     sem_destroy3((*s_etat_processus)                                      sem_destroy3((*s_etat_processus)
                                             .semphore_fork,                                              .semaphore_fork,
                                             getpid(), pthread_self(), SEM_FORK);                                              getpid(), pthread_self(), SEM_FORK);
 #                               endif  #                               endif
   
Line 5000  rplinit(int argc, char *argv[], char *en Line 4519  rplinit(int argc, char *argv[], char *en
 #                                   ifndef SEMAPHORES_NOMMES  #                                   ifndef SEMAPHORES_NOMMES
                                         sem_post(&((*s_etat_processus)                                          sem_post(&((*s_etat_processus)
                                                 .semaphore_fork));                                                  .semaphore_fork));
                                         sem_post(  
                                                 &semaphore_gestionnaires_signaux  
                                                 );  
                                         sem_destroy(  
                                                 &semaphore_gestionnaires_signaux  
                                                 );  
                                         sem_destroy(&((*s_etat_processus)                                          sem_destroy(&((*s_etat_processus)
                                                 .semaphore_fork));                                                  .semaphore_fork));
 #                                   else  #                                   else
                                         sem_post((*s_etat_processus)                                          sem_post((*s_etat_processus)
                                                 .semaphore_fork);                                                  .semaphore_fork);
                                         sem_post(  
                                                 semaphore_gestionnaires_signaux  
                                                 );  
                                         sem_destroy2(  
                                                 semaphore_gestionnaires_signaux,  
                                                 getpid(), SEM_SIGNAUX);  
                                         sem_destroy3((*s_etat_processus)                                          sem_destroy3((*s_etat_processus)
                                                 .semphore_fork, getpid(),                                                  .semaphore_fork, getpid(),
                                                 pthread_self(), SEM_FORK);                                                  pthread_self(), SEM_FORK);
 #                                   endif  #                                   endif
   
Line 5059  rplinit(int argc, char *argv[], char *en Line 4566  rplinit(int argc, char *argv[], char *en
 #                               ifndef SEMAPHORES_NOMMES  #                               ifndef SEMAPHORES_NOMMES
                                     sem_post(&((*s_etat_processus)                                      sem_post(&((*s_etat_processus)
                                             .semaphore_fork));                                              .semaphore_fork));
                                     sem_post(&semaphore_gestionnaires_signaux);  
                                     sem_destroy(  
                                             &semaphore_gestionnaires_signaux);  
                                     sem_destroy(&((*s_etat_processus)                                      sem_destroy(&((*s_etat_processus)
                                             .semaphore_fork));                                              .semaphore_fork));
 #                               else  #                               else
                                     sem_post((*s_etat_processus)                                      sem_post((*s_etat_processus)
                                             .semaphore_fork);                                              .semaphore_fork);
                                     sem_post(semaphore_gestionnaires_signaux);  
                                     sem_destroy2(  
                                             semaphore_gestionnaires_signaux,  
                                             getpid(), SEM_SIGNAUX);  
                                     sem_destroy3((*s_etat_processus)                                      sem_destroy3((*s_etat_processus)
                                             .semphore_fork,                                              .semaphore_fork,
                                             getpid(), pthread_self(), SEM_FORK);                                              getpid(), pthread_self(), SEM_FORK);
 #                               endif  #                               endif
   
Line 5120  rplinit(int argc, char *argv[], char *en Line 4620  rplinit(int argc, char *argv[], char *en
   
                                 if (erreur == d_absence_erreur)                                  if (erreur == d_absence_erreur)
                                 {                                  {
                                     if (((*s_etat_processus).var_volatile_alarme                                      if (((*s_etat_processus)
                                             == 0) && ((*s_etat_processus)  
                                             .arret_depuis_abort == 0) &&                                              .arret_depuis_abort == 0) &&
                                             ((*s_etat_processus).at_exit                                              ((*s_etat_processus).at_exit
                                             != NULL))                                              != NULL))
                                     {                                      {
                                           // Permet de traiter ATEXIT
                                           // même après réception d'un SIGINT.
                                           (*s_etat_processus)
                                                   .var_volatile_alarme = 0;
                                           (*s_etat_processus)
                                                   .var_volatile_requete_arret = 0;
   
                                           if ((*s_etat_processus).profilage ==
                                                   d_vrai)
                                           {
                                               profilage(s_etat_processus,
                                                       "ATEXIT");
                                           }
   
                                         erreur = evaluation(s_etat_processus,                                          erreur = evaluation(s_etat_processus,
                                                 (*s_etat_processus).at_exit,                                                  (*s_etat_processus).at_exit,
                                                 'E');                                                  'E');
   
                                           if ((*s_etat_processus).profilage ==
                                                   d_vrai)
                                           {
                                               profilage(s_etat_processus, NULL);
                                           }
   
                                           if (((*s_etat_processus)
                                                   .erreur_execution != d_ex) ||
                                                   ((*s_etat_processus).exception
                                                   != d_ep) || ((*s_etat_processus)
                                                   .erreur_systeme != d_es))
                                           {
                                               printf("%s [%d]\n", message =
                                                       messages(s_etat_processus),
                                                       (int) getpid());
                                               free(message);
   
                                               if (test_cfsf(s_etat_processus, 51)
                                                       == d_faux)
                                               {
                                                   printf("%s", ds_beep);
                                               }
   
                                               if ((*s_etat_processus).core ==
                                                       d_vrai)
                                               {
                                                   printf("\n");
   
                                                   if ((*s_etat_processus).langue
                                                           == 'F')
                                                   {
                                                       printf("+++Information : Gé"
                                                               "nération du fichie"
                                                               "r rpl-core "
                                                               "[%d]\n", (int)
                                                               getpid());
                                                   }
                                                   else
                                                   {
                                                       printf("+++Information : Wr"
                                                               "iting rpl-core fil"
                                                               "e [%d]\n",
                                                               (int) getpid());
                                                   }
   
                                                   rplcore(s_etat_processus);
   
                                                   if ((*s_etat_processus).langue
                                                           == 'F')
                                                   {
                                                       printf("+++Information : Pr"
                                                               "ocessus tracé [%d]"
                                                               "\n",
                                                               (int) getpid());
                                                   }
                                                   else
                                                   {
                                                       printf("+++Information : Do"
                                                               "ne [%d]\n", (int)
                                                               getpid());
                                                   }
   
                                                   printf("\n");
                                                   fflush(stdout);
                                               }
                                           }
                                     }                                      }
                                 }                                  }
                             }                              }
Line 5141  rplinit(int argc, char *argv[], char *en Line 4721  rplinit(int argc, char *argv[], char *en
   
                                 if (erreur == d_absence_erreur)                                  if (erreur == d_absence_erreur)
                                 {                                  {
                                     if (((*s_etat_processus).var_volatile_alarme                                      if (((*s_etat_processus)
                                             == 0) && ((*s_etat_processus)  
                                             .arret_depuis_abort == 0) &&                                              .arret_depuis_abort == 0) &&
                                             ((*s_etat_processus).at_exit                                              ((*s_etat_processus).at_exit
                                             != NULL))                                              != NULL))
                                     {                                      {
                                           // Permet de traiter ATEXIT
                                           // même après réception d'un SIGINT.
                                           (*s_etat_processus)
                                                   .var_volatile_alarme = 0;
                                           (*s_etat_processus)
                                                   .var_volatile_requete_arret = 0;
   
                                           if ((*s_etat_processus).profilage ==
                                                   d_vrai)
                                           {
                                               profilage(s_etat_processus,
                                                       "ATEXIT");
                                           }
   
                                         erreur = evaluation(s_etat_processus,                                          erreur = evaluation(s_etat_processus,
                                                 (*s_etat_processus).at_exit,                                                  (*s_etat_processus).at_exit,
                                                 'E');                                                  'E');
   
                                           if ((*s_etat_processus).profilage ==
                                                   d_vrai)
                                           {
                                               profilage(s_etat_processus, NULL);
                                           }
   
                                           if (((*s_etat_processus)
                                                   .erreur_execution != d_ex) ||
                                                   ((*s_etat_processus).exception
                                                   != d_ep) || ((*s_etat_processus)
                                                   .erreur_systeme != d_es))
                                           {
                                               printf("%s [%d]\n", message =
                                                       messages(s_etat_processus),
                                                       (int) getpid());
                                               free(message);
   
                                               if (test_cfsf(s_etat_processus, 51)
                                                       == d_faux)
                                               {
                                                   printf("%s", ds_beep);
                                               }
   
                                               if ((*s_etat_processus).core ==
                                                       d_vrai)
                                               {
                                                   printf("\n");
   
                                                   if ((*s_etat_processus).langue
                                                           == 'F')
                                                   {
                                                       printf("+++Information : Gé"
                                                               "nération du fichie"
                                                               "r rpl-core "
                                                               "[%d]\n", (int)
                                                               getpid());
                                                   }
                                                   else
                                                   {
                                                       printf("+++Information : Wr"
                                                               "iting rpl-core fil"
                                                               "e [%d]\n",
                                                               (int) getpid());
                                                   }
   
                                                   rplcore(s_etat_processus);
   
                                                   if ((*s_etat_processus).langue
                                                           == 'F')
                                                   {
                                                       printf("+++Information : Pr"
                                                               "ocessus tracé [%d]"
                                                               "\n",
                                                               (int) getpid());
                                                   }
                                                   else
                                                   {
                                                       printf("+++Information : Do"
                                                               "ne [%d]\n", (int)
                                                               getpid());
                                                   }
   
                                                   printf("\n");
                                                   fflush(stdout);
                                               }
                                           }
                                     }                                      }
                                 }                                  }
                             }                              }
Line 5190  rplinit(int argc, char *argv[], char *en Line 4850  rplinit(int argc, char *argv[], char *en
                         pthread_cancel((*s_etat_processus).thread_fusible);                          pthread_cancel((*s_etat_processus).thread_fusible);
                     }                      }
   
                     pthread_mutex_lock(&((*s_etat_processus).mutex));                      pthread_mutex_lock(&((*s_etat_processus)
                               .mutex_pile_processus));
   
                     l_element_courant = (void *) (*s_etat_processus)                      l_element_courant = (void *) (*s_etat_processus)
                             .l_base_pile_processus;                              .l_base_pile_processus;
Line 5362  rplinit(int argc, char *argv[], char *en Line 5023  rplinit(int argc, char *argv[], char *en
                         l_element_courant = (void *)                          l_element_courant = (void *)
                                 (*s_etat_processus).l_base_pile_processus;                                  (*s_etat_processus).l_base_pile_processus;
   
                         for(i = 0; i < (unsigned long)                          for(i = 0; i < (*(*((struct_processus_fils *)
                                 (*(*((struct_processus_fils *)  
                                 (*(*((struct_liste_chainee *)                                  (*(*((struct_liste_chainee *)
                                 l_element_courant)).donnee).objet)).thread)                                  l_element_courant)).donnee).objet)).thread)
                                 .nombre_objets_dans_pipe; i++)                                  .nombre_objets_dans_pipe; i++)
Line 5391  rplinit(int argc, char *argv[], char *en Line 5051  rplinit(int argc, char *argv[], char *en
 #                                   ifndef SEMAPHORES_NOMMES  #                                   ifndef SEMAPHORES_NOMMES
                                         sem_post(&((*s_etat_processus)                                          sem_post(&((*s_etat_processus)
                                                 .semaphore_fork));                                                  .semaphore_fork));
                                         sem_post(  
                                                 &semaphore_gestionnaires_signaux  
                                                 );  
                                         sem_destroy(  
                                                 &semaphore_gestionnaires_signaux  
                                                 );  
                                         sem_destroy(&((*s_etat_processus)                                          sem_destroy(&((*s_etat_processus)
                                                 .semaphore_fork));                                                  .semaphore_fork));
 #                                   else  #                                   else
                                         sem_post((*s_etat_processus)                                          sem_post((*s_etat_processus)
                                                 .semaphore_fork);                                                  .semaphore_fork);
                                         sem_post(  
                                                 semaphore_gestionnaires_signaux  
                                                 );  
                                         sem_destroy2(  
                                                 semaphore_gestionnaires_signaux,  
                                                 getpid(), SEM_SIGNAUX);  
                                         sem_destroy3((*s_etat_processus)                                          sem_destroy3((*s_etat_processus)
                                                 .semphore_fork, getpid(),                                                  .semaphore_fork, getpid(),
                                                 pthread_self(), SEM_FORK);                                                  pthread_self(), SEM_FORK);
 #                                   endif  #                                   endif
   
Line 5427  rplinit(int argc, char *argv[], char *en Line 5075  rplinit(int argc, char *argv[], char *en
                                         }                                          }
 #                                   endif  #                                   endif
   
                                     pthread_mutex_unlock(                                      pthread_mutex_unlock(&((*s_etat_processus)
                                             &((*s_etat_processus).mutex));                                              .mutex_pile_processus));
                                     return(EXIT_FAILURE);                                      return(EXIT_FAILURE);
                                 }                                  }
   
Line 5454  rplinit(int argc, char *argv[], char *en Line 5102  rplinit(int argc, char *argv[], char *en
 #                                   ifndef SEMAPHORES_NOMMES  #                                   ifndef SEMAPHORES_NOMMES
                                         sem_post(&((*s_etat_processus)                                          sem_post(&((*s_etat_processus)
                                                 .semaphore_fork));                                                  .semaphore_fork));
                                         sem_post(  
                                                 &semaphore_gestionnaires_signaux  
                                                 );  
                                         sem_destroy(  
                                                 &semaphore_gestionnaires_signaux  
                                                 );  
                                         sem_destroy(&((*s_etat_processus)                                          sem_destroy(&((*s_etat_processus)
                                                 .semaphore_fork));                                                  .semaphore_fork));
 #                                   else  #                                   else
                                         sem_post((*s_etat_processus)                                          sem_post((*s_etat_processus)
                                                 .semaphore_fork);                                                  .semaphore_fork);
                                         sem_post(  
                                                 semaphore_gestionnaires_signaux  
                                                 );  
                                         sem_destroy2(  
                                                 semaphore_gestionnaires_signaux,  
                                                 getpid(), SEM_SIGNAUX);  
                                         sem_destroy3((*s_etat_processus)                                          sem_destroy3((*s_etat_processus)
                                                 .semphore_fork, getpid(),                                                  .semaphore_fork, getpid(),
                                                 pthread_self(), SEM_FORK);                                                  pthread_self(), SEM_FORK);
 #                                   endif  #                                   endif
   
Line 5490  rplinit(int argc, char *argv[], char *en Line 5126  rplinit(int argc, char *argv[], char *en
                                         }                                          }
 #                                   endif  #                                   endif
   
                                     pthread_mutex_unlock(                                      pthread_mutex_unlock(&((*s_etat_processus)
                                             &((*s_etat_processus).mutex));                                              .mutex_pile_processus));
                                     return(EXIT_FAILURE);                                      return(EXIT_FAILURE);
                                 }                                  }
                             }                              }
                         }                          }
   
                         pthread_mutex_unlock(&((*s_etat_processus).mutex));                          pthread_mutex_lock(&((*s_etat_processus)
                                   .mutex_interruptions));
   
                         if ((*s_etat_processus)                          if ((*s_etat_processus)
                                 .nombre_interruptions_non_affectees != 0)                                  .nombre_interruptions_non_affectees != 0)
Line 5506  rplinit(int argc, char *argv[], char *en Line 5143  rplinit(int argc, char *argv[], char *en
                                     s_etat_processus);                                      s_etat_processus);
                         }                          }
   
                           pthread_mutex_unlock(&((*s_etat_processus)
                                   .mutex_interruptions));
                           pthread_mutex_unlock(&((*s_etat_processus)
                                   .mutex_pile_processus));
                         nanosleep(&attente, NULL);                          nanosleep(&attente, NULL);
                         scrutation_interruptions(s_etat_processus);                          scrutation_interruptions(s_etat_processus);
                         pthread_mutex_lock(&((*s_etat_processus).mutex));                          pthread_mutex_lock(&((*s_etat_processus)
                                   .mutex_pile_processus));
                     }                      }
   
                     pthread_mutex_unlock(&((*s_etat_processus).mutex));                      pthread_mutex_unlock(&((*s_etat_processus)
                               .mutex_pile_processus));
   
                     erreur_historique = write_history(                      erreur_historique = write_history(
                             (*s_etat_processus).nom_fichier_historique);                              (*s_etat_processus).nom_fichier_historique);
Line 5662  rplinit(int argc, char *argv[], char *en Line 5305  rplinit(int argc, char *argv[], char *en
                      */                       */
   
                     liberation_arbre_variables_partagees(s_etat_processus,                      liberation_arbre_variables_partagees(s_etat_processus,
                             (*s_etat_processus).s_arbre_variables, d_vrai);                              (*(*s_etat_processus).s_arbre_variables_partagees));
                     liberation_arbre_variables(s_etat_processus,                      liberation_arbre_variables(s_etat_processus,
                             (*s_etat_processus).s_arbre_variables, d_vrai);                              (*s_etat_processus).s_arbre_variables, d_vrai);
                     free((*s_etat_processus).pointeurs_caracteres_variables);                      free((*s_etat_processus).pointeurs_caracteres_variables);
Line 5678  rplinit(int argc, char *argv[], char *en Line 5321  rplinit(int argc, char *argv[], char *en
                         l_element_statique_courant = l_element_statique_suivant;                          l_element_statique_courant = l_element_statique_suivant;
                     }                      }
   
                       l_element_partage_courant = (*(*s_etat_processus)
                               .l_liste_variables_partagees);
   
                       while(l_element_partage_courant != NULL)
                       {
                           l_element_partage_suivant =
                                   (*l_element_partage_courant).suivant;
                           free(l_element_partage_courant);
                           l_element_partage_courant = l_element_partage_suivant;
                       }
   
                     /*                      /*
                      * Si resultats est non nul, rplinit a été appelé                       * Si resultats est non nul, rplinit a été appelé
                      * depuis rpl() [librpl] et non main().                       * depuis rpl() [librpl] et non main().
Line 5692  rplinit(int argc, char *argv[], char *en Line 5346  rplinit(int argc, char *argv[], char *en
                         {                          {
                             free((*resultats));                              free((*resultats));
   
                             if (((*resultats) = malloc(((*s_etat_processus)                              if (((*resultats) = malloc(((size_t)
                                     .hauteur_pile_operationnelle + 1)                                      ((*s_etat_processus)
                                       .hauteur_pile_operationnelle + 1))
                                     * sizeof(unsigned char **))) != NULL)                                      * sizeof(unsigned char **))) != NULL)
                             {                              {
                                 (*resultats)[(*s_etat_processus)                                  (*resultats)[(*s_etat_processus)
Line 6012  rplinit(int argc, char *argv[], char *en Line 5667  rplinit(int argc, char *argv[], char *en
   
     retrait_thread(s_etat_processus);      retrait_thread(s_etat_processus);
   
     pthread_mutex_destroy(&((*s_etat_processus).mutex));      pthread_mutex_destroy(&((*s_etat_processus).mutex_pile_processus));
     pthread_mutex_destroy(&((*s_etat_processus).mutex_allocation));      pthread_mutex_destroy(&((*s_etat_processus).mutex_allocation));
       pthread_mutex_destroy(&((*s_etat_processus).mutex_interruptions));
       pthread_mutex_destroy(&((*s_etat_processus).mutex_signaux));
     pthread_mutex_destroy(&mutex_sections_critiques);      pthread_mutex_destroy(&mutex_sections_critiques);
       pthread_mutex_destroy(&mutex_liste_variables_partagees);
   
 #   ifndef SEMAPHORES_NOMMES  #   ifndef SEMAPHORES_NOMMES
     sem_post(&((*s_etat_processus).semaphore_fork));      sem_post(&((*s_etat_processus).semaphore_fork));
Line 6027  rplinit(int argc, char *argv[], char *en Line 5685  rplinit(int argc, char *argv[], char *en
   
     free((*s_etat_processus).localisation);      free((*s_etat_processus).localisation);
   
 #   ifndef SEMAPHORES_NOMMES  
     sem_post(&semaphore_gestionnaires_signaux);  
     sem_destroy(&semaphore_gestionnaires_signaux);  
 #   else  
     sem_post(semaphore_gestionnaires_signaux);  
     sem_destroy2(semaphore_gestionnaires_signaux, getpid(), SEM_SIGNAUX);  
 #   endif  
   
     destruction_queue_signaux(s_etat_processus);      destruction_queue_signaux(s_etat_processus);
     liberation_contexte_cas(s_etat_processus);      liberation_contexte_cas(s_etat_processus);
   
Line 6042  rplinit(int argc, char *argv[], char *en Line 5692  rplinit(int argc, char *argv[], char *en
   
     if ((*s_etat_processus).requete_redemarrage == d_vrai)      if ((*s_etat_processus).requete_redemarrage == d_vrai)
     {      {
         chdir(repertoire_initial);          if (chdir(repertoire_initial) == 0)
         execvp(arg_exec[0], &(arg_exec[0]));          {
               execvp(arg_exec[0], &(arg_exec[0]));
           }
   
         erreur = d_erreur;          erreur = d_erreur;
     }      }
   
Line 6190  date_compilation() Line 5843  date_compilation()
     return(date);      return(date);
 }  }
   
   #pragma GCC diagnostic pop
   
 // vim: ts=4  // vim: ts=4

Removed from v.1.125  
changed lines
  Added in v.1.160


CVSweb interface <joel.bertrand@systella.fr>