diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2001-10-30 09:25:09 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2001-10-30 09:25:09 +0000 |
| commit | 5691abd5399bb885a91dbbfa0e679dad1e496243 (patch) | |
| tree | 7284e068705d0bb6fcb7a7ce9fe8848ca0463eed | |
| parent | f8631ce2400ab157e82029cd3f187488d691d9e5 (diff) | |
Enregistrer do_at_exit afin de faire un callback avant d'afficher une exception non rattrapee
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3947 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | otherlibs/threads/pervasives.ml | 4 | ||||
| -rw-r--r-- | stdlib/pervasives.ml | 3 |
2 files changed, 7 insertions, 0 deletions
diff --git a/otherlibs/threads/pervasives.ml b/otherlibs/threads/pervasives.ml index 6cc15911e..91c9b8651 100644 --- a/otherlibs/threads/pervasives.ml +++ b/otherlibs/threads/pervasives.ml @@ -477,3 +477,7 @@ let do_at_exit () = (!exit_function) () let exit retcode = do_at_exit (); sys_exit retcode + +external register_named_value: string -> 'a -> unit = "register_named_value" + +let _ = register_named_value "Pervasives.do_at_exit" do_at_exit diff --git a/stdlib/pervasives.ml b/stdlib/pervasives.ml index 8657d6959..5f196a4b4 100644 --- a/stdlib/pervasives.ml +++ b/stdlib/pervasives.ml @@ -366,3 +366,6 @@ let exit retcode = do_at_exit (); sys_exit retcode +external register_named_value: string -> 'a -> unit = "register_named_value" + +let _ = register_named_value "Pervasives.do_at_exit" do_at_exit |