/usr/lib/ocaml/galax/register_handlers.mli is in libgalax-ocaml-dev 1.1-12.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 | (***********************************************************************)
(* *)
(* GALAX *)
(* XQuery Engine *)
(* *)
(* Copyright 2001-2007. *)
(* Distributed only by permission. *)
(* *)
(***********************************************************************)
(* $Id: register_handlers.mli,v 1.2 2007/02/01 22:08:45 simeon Exp $ *)
(* Module: Register_handlers
Description:
This module handles registration of close handlers for Galax. These
handlers allow persistant stores to do any final cleanup before
exiting.
We could also allow things like failure handlers, sync handlers but
right now we just have proper close handlers.
*)
(* Close (end of run) handlers *)
val register_close_handler : (unit -> unit) -> unit
val call_close_handlers : unit -> unit
|