diff options
| author | Pierre Weis <Pierre.Weis@inria.fr> | 1998-12-02 10:39:54 +0000 |
|---|---|---|
| committer | Pierre Weis <Pierre.Weis@inria.fr> | 1998-12-02 10:39:54 +0000 |
| commit | b83b27899119824923f754caf251f17bc02bae3f (patch) | |
| tree | 2eaf8cb53c309d057cd1e5f8ccae26411b6d8311 /otherlibs/unix | |
| parent | d0abd87e0bee6d1fad4eda5fbfbdeacb496e3bed (diff) | |
Warning du compilateur.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2210 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/unix')
| -rw-r--r-- | otherlibs/unix/unix.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/unix/unix.ml b/otherlibs/unix/unix.ml index e9f96e10e..85919c32b 100644 --- a/otherlibs/unix/unix.ml +++ b/otherlibs/unix/unix.ml @@ -648,6 +648,6 @@ let establish_server server_fun sockaddr = server_fun inchan outchan; close_in inchan; close_out outchan - | id -> close s; waitpid [] id (* Reclaim the son *); () + | id -> close s; let _ = waitpid [] id (* Reclaim the son *) in () done |