summaryrefslogtreecommitdiff
path: root/libiohelp/handle_io_release_conch.c
diff options
context:
space:
mode:
authorMichael I. Bushnell <mib@gnu.org>1994-02-11 18:30:02 +0000
committerMichael I. Bushnell <mib@gnu.org>1994-02-11 18:30:02 +0000
commit3dc72e2ee1ec681ab22be681e4e07df1da2a7f38 (patch)
tree39b837bdcc5f6bab09c76f298fcc8583975f4a19 /libiohelp/handle_io_release_conch.c
parent3e73723e057707e6a433d70630319cbf00a988f1 (diff)
entered into RCS
Diffstat (limited to 'libiohelp/handle_io_release_conch.c')
-rw-r--r--libiohelp/handle_io_release_conch.c7
1 files changed, 2 insertions, 5 deletions
diff --git a/libiohelp/handle_io_release_conch.c b/libiohelp/handle_io_release_conch.c
index 6e352498..27b79211 100644
--- a/libiohelp/handle_io_release_conch.c
+++ b/libiohelp/handle_io_release_conch.c
@@ -20,15 +20,14 @@
/* 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
+void
ioserver_handle_io_release_conch (struct conch *c, void *user)
{
- error_t error = 0;
if (c->holder_shared_page->conch_status != USER_HAS_NOT_CONCH)
{
c->holder_shared_page->conch_status = USER_HAS_NOT_CONCH;
- error = ioserver_fetch_shared_data (c->holder);
+ ioserver_fetch_shared_data (c->holder);
}
if (c->holder == user)
@@ -38,7 +37,5 @@ ioserver_handle_io_release_conch (struct conch *c, void *user)
}
condition_broadcast (&c->wait);
-
- return error;
}