Comment.

diff --git a/include/empthread.h b/include/empthread.h
index 3bd23d66ff8c6aaed05e39fd8316674d3c570fe5..96ebb167445d5b1a17f1d33bab626af5c9830e03 100644 (file)
--- 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);