gs/ioserver/iohelp/

1 files changed, 7 insertions, 7 deletions

diff --git a/libiohelp/handle_io_get_conch.c b/libiohelp/handle_io_get_conch.c
index 8c3a2948..452b3cfb 100644
--- a/libiohelp/handle_io_get_conch.c
+++ b/libiohelp/handle_io_get_conch.c
@@ -1,5 +1,5 @@
 /* 
-   Copyright (C) 1993, 1994 Free Software Foundation
+   Copyright (C) 19931996 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
@@ -16,35 +16,35 @@
    Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. */
 
 
-#include "ioserver.h"
+#include "iohelp.h"
 
 /* Called by an I/O server when an io_get_conch message is received.
    The user represented by USER and USER_SH wants conch C; give it
    to her or return an error.  */
 void
-ioserver_handle_io_get_conch (struct conch *c, void *user,
+iohelp_handle_io_get_conch (struct conch *c, void *user,
 			      struct shared_io *user_sh)
 {
   
   if (c->holder == user)
     {
       if (user_sh->conch_status != USER_HAS_NOT_CONCH)
-	ioserver_fetch_shared_data (user);
+	iohelp_fetch_shared_data (user);
       else
 	user_sh->accessed = user_sh->written = 0;
       
-      ioserver_put_shared_data (user);
+      iohelp_put_shared_data (user);
       user_sh->conch_status = USER_HAS_CONCH;
     }
   else
     {
-      ioserver_get_conch (c);
+      iohelp_get_conch (c);
 
       c->holder = user;
       c->holder_shared_page = user_sh;
       if (user_sh->conch_status == USER_HAS_NOT_CONCH)
 	user_sh->accessed = user_sh->written = 0;
       user_sh->conch_status = USER_HAS_CONCH;
-      ioserver_put_shared_data (user);
+      iohelp_put_shared_data (user);
     }
 }