From d86c6e89fff7a452d514fa51d0c9599c526fb0ed Mon Sep 17 00:00:00 2001 From: Markus Armbruster Date: Fri, 1 Jul 2005 19:51:48 +0000 Subject: [PATCH] Doc fix. --- include/empthread.h | 1 + 1 file changed, 1 insertion(+) diff --git a/include/empthread.h b/include/empthread.h index ed57279b..b58c0654 100644 --- a/include/empthread.h +++ b/include/empthread.h @@ -187,6 +187,7 @@ void empth_terminate(empth_t *thread); * Put current thread to sleep until file descriptor FD is ready for I/O. * If FLAGS & EMPTH_FD_READ, wake up if FD is ready for input. * If FLAGS & EMPTH_FD_WRITE, wake up if FD is ready for output. + * At most one thread may sleep on the same file descriptor. * Note: Currently, Empire sleeps only on network I/O, i.e. FD is a * socket. Implementations should not rely on that. */