version 1.177, 2016/03/01 22:12:36
|
version 1.179, 2016/03/16 11:11:10
|
Line 5763 rplinit(int argc, char *argv[], char *en
|
Line 5763 rplinit(int argc, char *argv[], char *en
|
} |
} |
|
|
sys_free(arg_exec); |
sys_free(arg_exec); |
arret_thread_signaux(s_etat_processus); |
|
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)); |