package b0

  1. Overview
  2. Docs
Software construction and deployment kit

Install 

dune-project
 Dependency

erratique.ch Readme Changelog ISC; BSD-2-Clause License Edit opam file Versions (2)

Authors

  1. T
    The b0 programmers

Maintainers

  1. Daniel Bünzli

Sources

b0-0.0.5.tbz
sha512=00a6868b4dfa34565d0141b335622a81a0e8d5b9e3c6dfad025dabfa3df2db2a1302b492953bbbce30c3a4406c324fcec25250a00b38f6d18a69e15605e3b07e

doc/b0.std/B0_std/Os/Exit/index.html

Module Os.Exit

Program exit.

Specifying exits

type t =
  1. | Code : int -> t
    (*

    exit with code.

    *)
  2. | Exec : (unit -> ('a, string) result) -> t
    (*

    exit with execv

    *)

The type for specifying program exits. Either an exit code or a function (should be) calling B0_std.Cmd.execv.

val code : int -> t

code c is Code c.

val exec : ?env:Env.assignments -> ?cwd:Fpath.t -> Fpath.t -> Cmd.t -> t

exec ?env ?cwd file argv is an Exec _. That has a call to Os.Cmd.execv with the corresponding arguments.

val get_code : t -> int

get_code e is the exit code of e. Raises Invalid_argument if e is Exec.

Exiting exits

val exit : t -> ('a, string) result

exit e exits according to e:

  • If e is Code c, Stdlib.exit c is called and the function never returns.
  • If e is Exec execv, execv is called. This can only return with an Error _. In that case log it and call the function again with an error code - this guarantees termination.

Signal exit hooks

val on_sigint : hook:(unit -> unit) -> (unit -> 'a) -> 'a

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 Stdlib.exit is called Stdlib.at_exit functions are called if a SIGINT occurs during the call to f. This is not the case on an unhandled SIGINT.