Make sure all internal file descriptors are closed when spawning children

darcs-hash:20051003130937-ac50b-95fb750b3c26f1c03a2a877770bbeee536ea3b74.gz

1 files changed, 11 insertions, 0 deletions

diff --git a/exec.h b/exec.h
index f7504647..c3296411 100644
--- a/exec.h
+++ b/exec.h
@@ -3,6 +3,17 @@
 */
 
 /**
+   Initialize the exec library
+*/
+void exec_init();
+
+/*
+  Destroy dynamically allocated data and other resources used by the
+  exec library
+*/
+void exec_destroy();
+
+/**
   Execute the processes specified by j. 
 
    I've put a fair bit of work into making builtins behave like other