diff options
| -rw-r--r-- | libiohelp/handle_io_release_conch.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/libiohelp/handle_io_release_conch.c b/libiohelp/handle_io_release_conch.c index d726993c..1cb1f23a 100644 --- a/libiohelp/handle_io_release_conch.c +++ b/libiohelp/handle_io_release_conch.c @@ -17,8 +17,11 @@ #include "ioserver.h" +/* Called by an I/O server upon receipt of an io_release_conch message; + The user identified by USER is done with conch C; release it and + allow a waiting user to obtain the conch. */ error_t -handle_io_release_conch (struct conch *c, void *user) +ioserver_handle_io_release_conch (struct conch *c, void *user) { error_t error = 0; |