Added \deprecated to exit_thread() function.
Reflects Guido's revision.
1 file changed