version 1.176, 2016/01/09 18:25:54
|
version 1.178, 2016/03/15 16:31:15
|
Line 1
|
Line 1
|
/* |
/* |
================================================================================ |
================================================================================ |
RPL/2 (R) version 4.1.24 |
RPL/2 (R) version 4.1.25 |
Copyright (C) 1989-2015 Dr. BERTRAND Joël |
Copyright (C) 1989-2016 Dr. BERTRAND Joël |
|
|
This file is part of RPL/2. |
This file is part of RPL/2. |
|
|
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)); |