diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2001-07-16 15:37:40 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2001-07-16 15:37:40 +0000 |
| commit | 67d149436bd41721605f6629ad44d0b396c887c8 (patch) | |
| tree | 7ff4def4b6f93ee28ab3216e85c87d3abaa74870 /otherlibs/unix | |
| parent | 0c7d9bd4568514593ef225bc308313b9fce463d0 (diff) | |
PR#438
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3582 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/unix')
| -rw-r--r-- | otherlibs/unix/unix.ml | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/otherlibs/unix/unix.ml b/otherlibs/unix/unix.ml index d15b0655e..f3fcab00e 100644 --- a/otherlibs/unix/unix.ml +++ b/otherlibs/unix/unix.ml @@ -705,8 +705,11 @@ let establish_server server_fun sockaddr = let inchan = in_channel_of_descr s in let outchan = out_channel_of_descr s in server_fun inchan outchan; - close_in inchan; - close_out outchan + close_out outchan; + (* The file descriptor was already closed by close_out. + close_in inchan; + *) + exit 0; | id -> close s; ignore(waitpid [] id) (* Reclaim the son *) done |