From 7eca7eb2899916f28611d27b8ce05165d66a9421 Mon Sep 17 00:00:00 2001 From: "Michael I. Bushnell" Date: Mon, 6 May 1996 20:32:49 +0000 Subject: gs/ioserver/iohelp/ --- libiohelp/handle_io_release_conch.c | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'libiohelp/handle_io_release_conch.c') diff --git a/libiohelp/handle_io_release_conch.c b/libiohelp/handle_io_release_conch.c index 27b79211..fa95a6e5 100644 --- a/libiohelp/handle_io_release_conch.c +++ b/libiohelp/handle_io_release_conch.c @@ -1,5 +1,5 @@ /* - Copyright (C) 1993, 1994 Free Software Foundation + Copyright (C) 1993, 1994, 1996 Free Software Foundation This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as @@ -15,19 +15,19 @@ along with this program; if not, write to the Free Software Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. */ -#include "ioserver.h" +#include "iohelp.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. */ void -ioserver_handle_io_release_conch (struct conch *c, void *user) +iohelp_handle_io_release_conch (struct conch *c, void *user) { if (c->holder_shared_page->conch_status != USER_HAS_NOT_CONCH) { c->holder_shared_page->conch_status = USER_HAS_NOT_CONCH; - ioserver_fetch_shared_data (c->holder); + iohelp_fetch_shared_data (c->holder); } if (c->holder == user) -- cgit v1.2.3