--- rpl/src/allocateur.c 2015/02/01 09:47:18 1.6 +++ rpl/src/allocateur.c 2015/06/08 14:11:28 1.9 @@ -1,6 +1,6 @@ /* ================================================================================ - RPL/2 (R) version 4.1.20 + RPL/2 (R) version 4.1.22 Copyright (C) 1989-2015 Dr. BERTRAND Joël This file is part of RPL/2. @@ -238,8 +238,6 @@ liberation_allocateur_buffer(struct_proc int i; int j; -uprintf("Libération de l'allocateur des buffers\n"); -BACKTRACE(10); for(i = 0; i < longueur_tailles; i++) { for(j = 0; j < (*s_etat_processus).pointeur_cache_buffer[i]; j++) @@ -258,7 +256,6 @@ BACKTRACE(10); sys_free((*s_etat_processus).enveloppes_buffers[i]); } -uprintf("Fin de la libération de l'allocateur des buffers\n"); return; }