version 1.6, 2010/02/10 08:09:29
|
version 1.8, 2010/02/28 14:47:14
|
Line 1
|
Line 1
|
/* |
/* |
================================================================================ |
================================================================================ |
RPL/2 (R) version 4.0.10 |
RPL/2 (R) version 4.0.11 |
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 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); |
} |
} |
|
|