Make empth_name() and empth_set_name() take a thread argument

[empserver] / include / empthread.h

diff --git a/include/empthread.h b/include/empthread.h
index 239824e887891d421d94270d1760348a1db9ec48..4d039f3e761807674e9b171849ad4a04dfe8f42a 100644 (file)
--- a/include/empthread.h
+++ b/include/empthread.h
@@ -128,14 +128,14 @@ empth_t *empth_create(void (*entry)(void *),
 empth_t *empth_self(void);
 
 /*
- * Return the name of the current thread.
+ * Return the name THREAD.
  */
-char *empth_name(void);
+char *empth_name(empth_t *thread);
 
 /*
- * Sets the name of the current thread.
+ * Set the name of THREAD to NAME.
  */
-void empth_set_name(char *);
+void empth_set_name(empth_t *thread, char *name);
 
 /*
  * Terminate the current thread.