From 1be2d7be4c4b3bf0025758121219b9caab711999 Mon Sep 17 00:00:00 2001 From: Markus Armbruster Date: Fri, 27 Jul 2007 19:10:39 +0000 Subject: [PATCH] Comment. --- include/empthread.h | 2 ++ 1 file changed, 2 insertions(+) diff --git a/include/empthread.h b/include/empthread.h index 3bd23d66..96ebb167 100644 --- a/include/empthread.h +++ b/include/empthread.h @@ -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);