From 52e3e9b45d780b4f92363e502e6413da5d4f7c4a Mon Sep 17 00:00:00 2001 From: Miles Bader Date: Fri, 19 Jan 1996 00:35:29 +0000 Subject: (io_select): Fix ifdefs around the reply port decls to work properly when the server side ports are desired. --- hurd/io.defs | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'hurd') diff --git a/hurd/io.defs b/hurd/io.defs index 08240606..6f51c2d6 100644 --- a/hurd/io.defs +++ b/hurd/io.defs @@ -153,9 +153,10 @@ routine io_get_icky_async_id ( routine io_select ( io_object: io_t; #if defined (REPLY_PORTS) || defined (IO_SELECT_REPLY_PORT) - sreplyport reply: sreply_port_t; + replyport reply: sreply_port_t; +#else + ureplyport reply: mach_port_make_send_t; #endif - ureplyport ureply: mach_port_make_send_t; waittime timeout: natural_t; inout select_type: int; inout id_tag: int); /* Returned as passed. */ -- cgit v1.2.3