--- rpl/src/rpl.h 2011/09/14 17:56:00 1.121 +++ rpl/src/rpl.h 2011/09/16 14:42:03 1.124 @@ -211,7 +211,7 @@ enum signaux_rpl { - rpl_null = 0, + rpl_signull = 0, rpl_sigint, rpl_sigterm, rpl_sigstart, // Signal envoyé par un père pour lancer son fils. @@ -239,7 +239,11 @@ enum signaux_rpl typedef struct queue_signaux { - pthread_mutex_t mutex; + sem_t +# ifdef SEMAPHORES_NOMMES + * +# endif + semaphore; volatile int pointeur_lecture; volatile int pointeur_ecriture; @@ -254,8 +258,10 @@ typedef struct queue_signaux #ifndef RPLARGS # ifndef MAIN_RPL extern struct_queue_signaux *s_queue_signaux; + extern int f_queue_signaux; # else struct_queue_signaux *s_queue_signaux; + int f_queue_signaux; # endif #endif @@ -474,10 +480,6 @@ int sem_getvalue2(sem_t *semaphore, int #define ufprintf(flux, ...) transliterated_fprintf(NULL, \ flux, __VA_ARGS__) -// Tous les messages pour DISP, INPUT et les E/S par readline sont sur stderr. -// Cela évite aux messages envoyés par les gestionnaires de signaux d'être -// indéfiniment bloqués. - #ifdef SunOS # define fopen(...) ({ FILE *desc; \ while((desc = fopen(__VA_ARGS__)) == NULL) \