version 1.180, 2016/03/16 12:19:35
|
version 1.181, 2016/03/16 12:54:22
|
Line 5762 rplinit(int argc, char *argv[], char *en
|
Line 5762 rplinit(int argc, char *argv[], char *en
|
erreur = d_erreur; |
erreur = d_erreur; |
} |
} |
|
|
sys_free(arg_exec); |
|
liberation_etat_processus_readline(); |
liberation_etat_processus_readline(); |
|
|
liberation_allocateur_buffer(s_etat_processus); |
liberation_allocateur_buffer(s_etat_processus); |
pthread_mutex_destroy(&((*s_etat_processus).mutex_allocation_buffer)); |
pthread_mutex_destroy(&((*s_etat_processus).mutex_allocation_buffer)); |
|
|
sys_free(s_etat_processus); |
sys_free(s_etat_processus); |
|
sys_free(arg_exec); |
|
|
# ifdef DEBUG_MEMOIRE |
# ifdef DEBUG_MEMOIRE |
debug_memoire_verification(); |
debug_memoire_verification(); |