[ 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