[ library(threads) | Reference Manual | Alphabetic Index ]

thread_cancel(+Thread)

Makes Thread exit at the next opportunity
Thread
A DTR-thread handle or alias

Description

Equivalent to engine_post(Thread, exit(3)) plus deletion of Thread's alias.

Modes and Determinism

See Also

engine_post / 2