diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1994-01-25 21:16:20 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1994-01-25 21:16:20 +0000 |
| commit | 11d9f3a26203ad8ace2e3765d9d045e576c981a4 (patch) | |
| tree | 67a554a569a697dd203f50cdf705b0d56e6a7f6d /libiohelp | |
| parent | f25c4a033751d2b44564971369392235f3024bae (diff) | |
Formerly handle_io_release_conch.c.~4~
Diffstat (limited to 'libiohelp')
| -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; |