The standard library Threadkit_Startup_And_Shutdown_Hooks api defines hooks for functions to be invoked at startup or shutdown of multithread programs.
The Threadkit_Startup_And_Shutdown_Hooks api is implemented by the threadkit_startup_and_shutdown_hooks package.
The Threadkit_Startup_And_Shutdown_Hooks api source code is in src/lib/src/lib/thread-kit/src/core-thread-kit/threadkit-startup-and-shutdown-hooks.api.
See also: Thread_Scheduler_Control.
The above information is manually maintained and may contain errors.
api { When
= APP_STARTUP | SHUTDOWN | STARTUP | THREADKIT_SHUTDOWN;
at_all : List(When );
note_startup_or_shutdown_action : (String , List(When ) , (When -> Void))
-> Null_Or(((List(When ) , (When -> Void))) );
forget_startup_or_shutdown_action : String
-> Null_Or(((List(When ) , (When -> Void))) );
exception NO_SUCH_ACTION;
note_mailqueue : (String , Mailqueue(X )) -> Void;
forget_mailqueue : String -> Void;
note_mailslot : (String , Mailslot(X )) -> Void;
forget_mailslot : String -> Void;
note_imp : {at_shutdown:Void -> Void,
at_startup:Void -> Void, name:String}
-> Void;
forget_imp : String -> Void;
forget_all_mailslots_mailqueues_and_imps : Void -> Void;
};