infer_clone/infer/src/base/Epilogues.ml

(*
 * Copyright (c) 2017 - present Facebook, Inc.
 * All rights reserved.
 *
 * This source code is licensed under the BSD style license found in the
 * LICENSE file in the root directory of this source tree. An additional grant
 * of patent rights can be found in the PATENTS file in the same directory.
 *)
open! IStd
module F = Format

(* Run the epilogues when we get SIGINT (Control-C). We do not want to mask SIGINT unless at least
   one epilogue has been registered, so make this value lazy. *)
let activate_run_epilogues_on_signal =
  lazy
    (let run_epilogues_on_signal s =
       F.eprintf "*** %s: Caught %s, time to die@."
         (Filename.basename Sys.executable_name)
         (Signal.to_string s) ;
       (* Epilogues are registered with [at_exit] so exiting will make them run. *)
       Pervasives.exit 0
     in
     Signal.Expert.handle Signal.int run_epilogues_on_signal)


let register ~f desc =
  let f_no_exn () =
    if not !ProcessPool.in_child then
      try f () with exn ->
        F.eprintf "Error while running epilogue \"%s\":@ %a.@ Powering through...@." desc Exn.pp
          exn
  in
  (* We call `exit` in a bunch of places, so register the epilogues with [at_exit]. *)
  Pervasives.at_exit f_no_exn ;
  (* Register signal masking. *)
  Lazy.force activate_run_epilogues_on_signal