From 59ffb706a189afd43c397882149d94fcd939ffd0 Mon Sep 17 00:00:00 2001 From: Samuel Thibault Date: Mon, 14 Feb 2011 02:35:40 +0100 Subject: Add comment about finish being called several times --- exec/exec.c | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/exec/exec.c b/exec/exec.c index 25628d79..01d22e70 100644 --- a/exec/exec.c +++ b/exec/exec.c @@ -1000,7 +1000,9 @@ finish_mapping (struct execdata *e) } } -/* Clean up after reading the file (need not be completed). */ +/* Clean up after reading the file (need not be completed). + Note: this may be called several times for the E, so it must take care + of checking what was already freed. */ void finish (struct execdata *e, int dealloc_file) { -- cgit v1.2.3