version 1.19, 2010/05/13 19:09:18
|
version 1.22, 2010/05/24 10:58:32
|
Line 1
|
Line 1
|
/* |
/* |
================================================================================ |
================================================================================ |
RPL/2 (R) version 4.0.15 |
RPL/2 (R) version 4.0.16 |
Copyright (C) 1989-2010 Dr. BERTRAND Joël |
Copyright (C) 1989-2010 Dr. BERTRAND Joël |
|
|
This file is part of RPL/2. |
This file is part of RPL/2. |
Line 1296 instruction_detach(struct_processus *s_e
|
Line 1296 instruction_detach(struct_processus *s_e
|
* Processus fils |
* Processus fils |
*/ |
*/ |
|
|
|
# ifdef DEBUG_MEMOIRE |
|
debug_memoire_reinitialisation(); |
|
# endif |
|
|
# ifndef SEMAPHORES_NOMMES |
# ifndef SEMAPHORES_NOMMES |
sem_post(&semaphore_gestionnaires_signaux); |
sem_post(&semaphore_gestionnaires_signaux); |
sem_destroy(&semaphore_gestionnaires_signaux); |
sem_destroy(&semaphore_gestionnaires_signaux); |
Line 2639 instruction_detach(struct_processus *s_e
|
Line 2643 instruction_detach(struct_processus *s_e
|
liberation(s_etat_processus, s_objet); |
liberation(s_etat_processus, s_objet); |
|
|
# ifndef Cygwin |
# ifndef Cygwin |
|
(*s_etat_processus).pile_signal.ss_flags = SS_DISABLE; |
|
sigaltstack(&((*s_etat_processus).pile_signal), NULL); |
free((*s_etat_processus).pile_signal.ss_sp); |
free((*s_etat_processus).pile_signal.ss_sp); |
# endif |
# endif |
|
|
Line 2712 instruction_detach(struct_processus *s_e
|
Line 2718 instruction_detach(struct_processus *s_e
|
|
|
clear_history(); |
clear_history(); |
|
|
|
free(s_etat_processus); |
|
|
# ifdef DEBUG_MEMOIRE |
# ifdef DEBUG_MEMOIRE |
debug_memoire_verification(s_etat_processus); |
debug_memoire_verification(); |
|
analyse_post_mortem(); |
# endif |
# endif |
|
|
free(s_etat_processus); |
|
|
|
exit(EXIT_SUCCESS); |
exit(EXIT_SUCCESS); |
} |
} |
else |
else |