summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2011-02-14 02:35:40 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2011-02-14 02:35:40 +0100
commit59ffb706a189afd43c397882149d94fcd939ffd0 (patch)
tree7fcd9294c374ee3ee65347770af3ef40b3a1e81d
parentd0b12fd1873717b167276a74dab6cd04399d0e48 (diff)
Add comment about finish being called several times
-rw-r--r--exec/exec.c4
1 files changed, 3 insertions, 1 deletions
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)
{