diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1998-08-08 16:52:33 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1998-08-08 16:52:33 +0000 |
| commit | c6b82c5c30ba710e5bf55729f09f12a9356ddcd6 (patch) | |
| tree | c022d95cf48398fe52559d8c4f078c778a30ec26 /stdlib | |
| parent | 63be4e8d2bdb08ebfd3ac504b2bb30d02dd8cd18 (diff) | |
Sys.signal renvoie l'ancien handler
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2039 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib')
| -rw-r--r-- | stdlib/sys.ml | 6 | ||||
| -rw-r--r-- | stdlib/sys.mli | 6 |
2 files changed, 8 insertions, 4 deletions
diff --git a/stdlib/sys.ml b/stdlib/sys.ml index ae1494555..c2be9c9de 100644 --- a/stdlib/sys.ml +++ b/stdlib/sys.ml @@ -37,7 +37,8 @@ type signal_behavior = | Signal_ignore | Signal_handle of (int -> unit) -external signal: int -> signal_behavior -> unit = "install_signal_handler" +external signal: int -> signal_behavior -> signal_behavior + = "install_signal_handler" let sigabrt = -1 let sigalrm = -2 @@ -67,4 +68,5 @@ let catch_break on = if on then signal sigint (Signal_handle(fun _ -> raise Break)) else - signal sigint Signal_default + signal sigint Signal_default; + () diff --git a/stdlib/sys.mli b/stdlib/sys.mli index 2178df5da..1bdbb191b 100644 --- a/stdlib/sys.mli +++ b/stdlib/sys.mli @@ -65,9 +65,11 @@ type signal_behavior = - [Signal_handle f]: call function [f], giving it the signal number as argument. *) -external signal: int -> signal_behavior -> unit = "install_signal_handler" +external signal: int -> signal_behavior -> signal_behavior + = "install_signal_handler" (* Set the behavior of the system on receipt of a given signal. - The first argument is the signal number. *) + The first argument is the signal number. Return the behavior + previously associated with the signal. *) val sigabrt: int (* Abnormal termination *) val sigalrm: int (* Timeout *) |