diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1995-06-20 16:56:05 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1995-06-20 16:56:05 +0000 |
| commit | 670b7aeee3e52d02e296d6433b5df3fe6dd8d394 (patch) | |
| tree | bf9b1caf551fae0d3ae7ddfe344062cb57a720bd /libpager/demuxer.c | |
| parent | 89ed15600d9d50a8eb2533143d4a9fbc6758dcd3 (diff) | |
Include "notify_S.h".
(pager_demuxer): Declare and use _pager_seqnos_notify_server.
Diffstat (limited to 'libpager/demuxer.c')
| -rw-r--r-- | libpager/demuxer.c | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/libpager/demuxer.c b/libpager/demuxer.c index 70b95c64..f233d1c0 100644 --- a/libpager/demuxer.c +++ b/libpager/demuxer.c @@ -1,5 +1,5 @@ /* Demuxer for pager library - Copyright (C) 1994 Free Software Foundation + Copyright (C) 1994, 1995 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 @@ -17,6 +17,7 @@ #include "priv.h" #include "memory_object_S.h" +#include "notify_S.h" /* Demultiplex a single message directed at a pager port; INP is the message received; fille OUTP with the reply. */ @@ -26,6 +27,10 @@ pager_demuxer (mach_msg_header_t *inp, { extern int _pager_seqnos_memory_object_server (mach_msg_header_t *inp, mach_msg_header_t *outp); - return _pager_seqnos_memory_object_server (inp, outp); + extern int _pager_seqnos_notify_server (mach_msg_header_t *inp, + mach_msg_header_t *outp); + + return (_pager_seqnos_memory_object_server (inp, outp) + || _pager_seqnos_notify_server (inp, outp)); } |