From db228ac2de3515a726e786fddfd257b48c7e1c29 Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Sun, 23 Aug 2009 19:26:40 +0200
Subject: Fixes long-standing random hang of exec.

* exec.c (finish): Set FILE_DATA and MAP_BUFFER members of E to NULL
after freeing them.
---
 exec/exec.c | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'exec')

diff --git a/exec/exec.c b/exec/exec.c
index cb3d7418..daa8a24b 100644
--- a/exec/exec.c
+++ b/exec/exec.c
@@ -1008,10 +1008,13 @@ finish (struct execdata *e, int dealloc_file)
 #ifdef EXECDATA_STREAM
       fclose (&e->stream);
 #else
-      if (e->file_data != NULL)
+      if (e->file_data != NULL) {
 	free (e->file_data);
-      else if (map_buffer (e) != NULL)
+	e->file_data = NULL;
+      } else if (map_buffer (e) != NULL) {
 	munmap (map_buffer (e), map_vsize (e));
+	map_buffer (e) = NULL;
+      }
 #endif
     }
   if (dealloc_file && e->file != MACH_PORT_NULL)
-- 
cgit v1.2.3