WIP empdump, %a

[empserver] / include / empthread.h

diff --git a/include/empthread.h b/include/empthread.h
index 3bd23d66ff8c6aaed05e39fd8316674d3c570fe5..18ac89ad4b2bd768c89337f90c0ee5603ce81c78 100644 (file)
--- a/include/empthread.h
+++ b/include/empthread.h
@@ -1,6 +1,6 @@
 /*
  *  Empire - A multi-player, client/server Internet based war game.
- *  Copyright (C) 1986-2007, Dave Pare, Jeff Bailey, Thomas Ruschak,
+ *  Copyright (C) 1986-2008, Dave Pare, Jeff Bailey, Thomas Ruschak,
  *                           Ken Stevens, Steve McClure
  *
  *  This program is free software; you can redistribute it and/or modify
@@ -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);