diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1997-08-29 15:37:22 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1997-08-29 15:37:22 +0000 |
| commit | bec90463c896d78e84bb1c2802c671f1d4e6854f (patch) | |
| tree | a65319f63114593490c1685867026eee511ebd15 /asmrun/fail.c | |
| parent | 891e4e9c276994f0badbc5c9df619afa9183ea32 (diff) | |
Revu completement l'allocation des buffers d'I/O.
Nettoyage du code d'I/O.
Ajout de hooks pour verrouiller en conjonction avec otherlibs/systhreads.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1693 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'asmrun/fail.c')
| -rw-r--r-- | asmrun/fail.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/asmrun/fail.c b/asmrun/fail.c index 77632ede8..97a1da8d6 100644 --- a/asmrun/fail.c +++ b/asmrun/fail.c @@ -16,6 +16,7 @@ #include <signal.h> #include "alloc.h" #include "fail.h" +#include "io.h" #include "gc.h" #include "memory.h" #include "mlvalues.h" @@ -50,7 +51,7 @@ void mlraise(v) sigsetmask(0); #endif #endif - leave_blocking_section(); + Unlock_exn(); if (caml_exception_pointer == NULL) fatal_uncaught_exception(v); #ifndef Stack_grows_upwards |