summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael I. Bushnell <mib@gnu.org>1993-12-03 02:41:49 +0000
committerMichael I. Bushnell <mib@gnu.org>1993-12-03 02:41:49 +0000
commitd71ee85d1f180b07a7fa5611434cc21adcf580cd (patch)
treef50134f1d77811033b4f48531c6d0ffce58985f5
parent160bdc0555d34a6f2792d6cc63f48503a54923d4 (diff)
Formerly handle_io_release_conch.c.~2~
-rw-r--r--libiohelp/handle_io_release_conch.c7
1 files changed, 3 insertions, 4 deletions
diff --git a/libiohelp/handle_io_release_conch.c b/libiohelp/handle_io_release_conch.c
index 8628f465..0de51813 100644
--- a/libiohelp/handle_io_release_conch.c
+++ b/libiohelp/handle_io_release_conch.c
@@ -15,12 +15,12 @@
along with this program; if not, write to the Free Software
Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. */
+#include <libioserver.h>
+
error_t
handle_io_release_conch (struct conch *c, void *user)
{
- error_t error;
-
- mutex_lock (&c->lock);
+ error_t error = 0;
if (c->holder_shared_page->conch_status != USER_HAS_NOT_CONCH)
{
@@ -35,7 +35,6 @@ handle_io_release_conch (struct conch *c, void *user)
}
condition_broadcast (&c->wait);
- mutex_unlock (&c->lock);
return error;
}