Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-05-24 09:52:07 -0700 (Thu, 24 May 2007)
Revision: 10810
Log message:

      Be a bit more careful not to do
     
     try
        ...;
        Unix.close fd;
        ...
     with exn ->
        close fd;
        raise exn
     
     since this may result in closing the same fd twice in case the second "..."
     raises an exception.