http://www.erlenstar.demon.co.uk/unix/faq_2.html says we

should call _exit, not exit, from child processes.

svn:r3506

diff --git a/src/common/compat.c b/src/common/compat.c
index 0b5de082ccfe18c68e832056005dd00e17b3ee7d..ae1b58653a82be3bcb287bb70dbeb11f9425ac43 100644 (file)
--- a/src/common/compat.c
+++ b/src/common/compat.c
@@ -678,7 +678,9 @@ void spawn_exit()
 #elif defined(USE_PTHREADS)
   pthread_exit(NULL);
 #else
-  exit(0);
+  /* http://www.erlenstar.demon.co.uk/unix/faq_2.html says we should
+   * call _exit, not exit, from child processes. */
+  _exit(0);
 #endif
 }