on_sigint ~hook f
calls f ()
and returns its value. If SIGINT
is signalled during that time hook
is called followed by exit 130
– that is the exit code a SIGINT
would produce.
on_sigint
replaces an existing signal handler for Sys
.sigint during time of the function call. It is restored when the function returns.
Note. Since exit
is called at_exit
functions are called if a SIGINT
occurs during the function call. This is not the case on an unhandled SIGINT
.