--- rpl/src/interruptions.c 2016/07/22 14:45:30 1.183 +++ rpl/src/interruptions.c 2016/07/22 15:08:43 1.184 @@ -3522,6 +3522,11 @@ destruction_queue_signaux(struct_process unsigned char *nom; # endif + // On dépile les interruptions pour arrêter les SIGALRM sur + // le processus courant. + + scrutation_interruptions(s_etat_processus); + while(sem_wait(semaphore_arret_signalisation) != 0) { if (errno != EINTR)