diff options
| author | Alain Frisch <alain@frisch.fr> | 2011-12-14 11:04:06 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2011-12-14 11:04:06 +0000 |
| commit | 032648c3d4a3d5c65b051ac38f90f3969cc14313 (patch) | |
| tree | 48c7df35914e96a7f482224e39912528aff8c438 /otherlibs/win32unix/socket.c | |
| parent | 0b002c286a2049833a22a8d3dc00be30ac596921 (diff) | |
#5411: close input channel when loading a .cmo file fails in the toplevel.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11315 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/win32unix/socket.c')
0 files changed, 0 insertions, 0 deletions