Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
package dtools
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Module Dtools.InitSource
Initialisation management module. Allow to define procedures that must be executed at start up, and procedures that are to be executed at exit to have a clean quit.
Source
val make :
?name:string ->
?depends:t list ->
?triggers:t list ->
?after:t list ->
?before:t list ->
(unit -> unit) ->
tDefine a init atom associated with the given (unit -> unit) procedure, which eventualy depends on others atoms (these atoms will be executed before the one currently defined) and triggers other atoms (these atoms will be executed after the one currently defined). after and before allow to register the currently defined atom in the depend and triggers lists of other atoms.
Source
val at_start :
?name:string ->
?depends:t list ->
?triggers:t list ->
?after:t list ->
?before:t list ->
(unit -> unit) ->
tSame as make plus a shortcut for "after Init.start".
Source
val at_stop :
?name:string ->
?depends:t list ->
?triggers:t list ->
?after:t list ->
?before:t list ->
(unit -> unit) ->
tSame as make plus a shortcut for "before Init.stop".
This fuction must be used to launch the main procedure of the program. It first execute the registered start atoms, then call the main procedure, then execute the registered stop atoms. Exceptions raised by the main procedure are catched, in order to close properly even in such cases. Exceptions are raised again after cleaning. When invoqued with ~prohibit_root:true, it checks for root access rights (euid, egid) and exit in this case.