version 1.170, 2015/06/08 14:11:44
|
version 1.171, 2015/06/15 11:50:52
|
Line 5401 rplinit(int argc, char *argv[], char *en
|
Line 5401 rplinit(int argc, char *argv[], char *en
|
{ |
{ |
if ((*resultats) != NULL) |
if ((*resultats) != NULL) |
{ |
{ |
free((*resultats)); |
sys_free((*resultats)); |
|
|
if (((*resultats) = malloc(((size_t) |
if (((*resultats) = sys_malloc(((size_t) |
((*s_etat_processus) |
((*s_etat_processus) |
.hauteur_pile_operationnelle + 1)) |
.hauteur_pile_operationnelle + 1)) |
* sizeof(unsigned char **))) != NULL) |
* sizeof(unsigned char **))) != NULL) |