14.4.107  Thread_Deathwatch

The standard library Thread_Deathwatch api defines functionality to detect and report unexpected thread terminations.

The Thread_Deathwatch api is implemented by the thread_deathwatch package.

The Thread_Deathwatch api source code is in src/lib/src/lib/thread-kit/src/lib/thread-deathwatch.api.

The above information is manually maintained and may contain errors.

api {
    logging : Logtree_Node;
    start_thread_deathwatch : (String , Microthread) -> Void;
    stop_thread_deathwatch : Microthread -> Void;};

Comments and suggestions to: