diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1994-06-30 17:02:00 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1994-06-30 17:02:00 +0000 |
| commit | 45a3a57c2c6a4c1b4db157329bc445b150f170c4 (patch) | |
| tree | d70e3ad4270d05a81f978018ae107759e613b8c2 | |
| parent | 7de91b26c66e8d6eb9453aef3cd8b3a5c9e025b9 (diff) | |
Formerly ports-demuxer.c.~4~
| -rw-r--r-- | libdiskfs/demuxer.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/libdiskfs/demuxer.c b/libdiskfs/demuxer.c index a1dd1b52..2da01800 100644 --- a/libdiskfs/demuxer.c +++ b/libdiskfs/demuxer.c @@ -28,6 +28,7 @@ ports_demuxer (mach_msg_header_t *inp, int exec_server (mach_msg_header_t *, mach_msg_header_t *); int pager_demuxer (mach_msg_header_t *, mach_msg_header_t *); int interrupt_server (mach_msg_header_t *, mach_msg_header_t *); + int ifsock_server (mach_msg_header_t *, mach_msg_header_t *); return (io_server (inp, outp) || pager_demuxer (inp, outp) @@ -35,7 +36,8 @@ ports_demuxer (mach_msg_header_t *inp, || seqnos_notify_server (inp, outp) || fsys_server (inp, outp) || exec_server (inp, outp) - || interrupt_server (inp, outp)); + || interrupt_server (inp, outp) + || ifsock_server (inp, outp)); } |