empire/empserver
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Comment.

Browse source
This commit is contained in:
Markus Armbruster 2007-07-27 19:10:39 +00:00
parent 0eeed1c920
commit 1be2d7be4c
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
include/empthread.h
View file

@ -149,6 +149,8 @@ void empth_yield(void);
* if it executed empth_exit(). It is unspecified when exactly that
* happens.
* THREAD must not be the current thread.
* Naive use of this function almost always leads to resource leaks.
* Terminating a thread that may hold locks is not a good idea.
*/
void empth_terminate(empth_t *thread);