version 1.7, 2010/02/10 10:14:26
|
version 1.8, 2010/02/28 14:47:14
|
Line 3341 rplinit(int argc, char *argv[], unsigned
|
Line 3341 rplinit(int argc, char *argv[], unsigned
|
sem_destroy(&semaphore_gestionnaires_signaux); |
sem_destroy(&semaphore_gestionnaires_signaux); |
sem_destroy(&semaphore_gestionnaires_signaux_atomique); |
sem_destroy(&semaphore_gestionnaires_signaux_atomique); |
|
|
|
# ifdef DEBUG_MEMOIRE |
|
debug_memoire_verification(s_etat_processus); |
|
# endif |
|
|
return((erreur == d_os) ? EXIT_SUCCESS : EXIT_FAILURE); |
return((erreur == d_os) ? EXIT_SUCCESS : EXIT_FAILURE); |
} |
} |
|
|