diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2011-02-14 02:35:40 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2011-02-14 02:35:40 +0100 |
| commit | 59ffb706a189afd43c397882149d94fcd939ffd0 (patch) | |
| tree | 7fcd9294c374ee3ee65347770af3ef40b3a1e81d /exec | |
| parent | d0b12fd1873717b167276a74dab6cd04399d0e48 (diff) | |
Add comment about finish being called several times
Diffstat (limited to 'exec')
| -rw-r--r-- | exec/exec.c | 4 |
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) { |