![]() ![]() | ![]() |
version 1.20, 2010/04/28 06:41:06 | version 1.21, 2010/04/28 07:05:38 |
---|---|
Line 2623 rplinit(int argc, char *argv[], unsigned | Line 2623 rplinit(int argc, char *argv[], unsigned |
if (erreur == d_absence_erreur) | if (erreur == d_absence_erreur) |
{ | { |
erreur = evaluation(s_etat_processus, | if ((*s_etat_processus).at_exit != NULL) |
(*s_etat_processus).at_exit, 'E'); | { |
erreur = evaluation(s_etat_processus, | |
(*s_etat_processus).at_exit, 'E'); | |
} | |
} | } |
liberation(s_etat_processus, | liberation(s_etat_processus, |