diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1994-02-18 20:26:22 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1994-02-18 20:26:22 +0000 |
| commit | 30a5099ab3225eb60e235e06ef19cfb7517ee932 (patch) | |
| tree | 8448d7070af349c582946598a4d13c627af9d301 | |
| parent | 320b2a6c258d0fdc325f362ab34ba17cd8fb6fba (diff) | |
Formerly ports-demuxer.c.~3~
| -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 4e593c21..a1dd1b52 100644 --- a/libdiskfs/demuxer.c +++ b/libdiskfs/demuxer.c @@ -27,13 +27,15 @@ ports_demuxer (mach_msg_header_t *inp, int seqnos_notify_server (mach_msg_header_t *, mach_msg_header_t *); 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 *); return (io_server (inp, outp) || pager_demuxer (inp, outp) || fs_server (inp, outp) || seqnos_notify_server (inp, outp) || fsys_server (inp, outp) - || exec_server (inp, outp)); + || exec_server (inp, outp) + || interrupt_server (inp, outp)); } |