libpager: use libports notification functions

Now that we do not use sequence numbers anymore, we can simply use
libports notification server functions.

* libpager/Makefile (SRCS): Drop `no-senders.c', and `notify-stubs.c'.
(OBJS): Drop `notifyServer.o'.
* libpager/demuxer.c (pager_demuxer): Use libports server functions.
* libpager/mig-mutate.h: Drop all notification mutators.
* libpager/no-senders.c: Remove file.
* libpager/notify-stubs.c: Likewise.

1 files changed, 0 insertions, 61 deletions

diff --git a/libpager/notify-stubs.c b/libpager/notify-stubs.c
deleted file mode 100644
index 64408157..00000000
--- a/libpager/notify-stubs.c
+++ /dev/null
@@ -1,61 +0,0 @@
-/* 
-   Copyright (C) 1995, 2011 Free Software Foundation, Inc.
-   Written by Michael I. Bushnell.
-
-   This file is part of the GNU Hurd.
-
-   The GNU Hurd is free software; you can redistribute it and/or
-   modify it under the terms of the GNU General Public License as
-   published by the Free Software Foundation; either version 2, or (at
-   your option) any later version.
-
-   The GNU Hurd is distributed in the hope that it will be useful, but
-   WITHOUT ANY WARRANTY; without even the implied warranty of
-   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
-   General Public License for more details.
-
-   You should have received a copy of the GNU General Public License
-   along with this program; if not, write to the Free Software
-   Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111, USA. */
-
-#include "priv.h"
-#include "notify_S.h"
-#include <errno.h>
-
-error_t
-_pager_do_mach_notify_port_deleted (struct port_info *pi,
-					   mach_port_t name
-					   __attribute__ ((unused)))
-{
-  return 0;
-}
-
-error_t
-_pager_do_mach_notify_msg_accepted (struct port_info *pi,
-					   mach_port_t name
-					     __attribute__ ((unused)))
-{
-  return 0;
-}
-
-error_t
-_pager_do_mach_notify_port_destroyed (struct port_info *pi,
-					     mach_port_t name
-					       __attribute__ ((unused)))
-{
-  return 0;
-}
-
-error_t
-_pager_do_mach_notify_send_once (struct port_info *pi)
-{
-  return 0;
-}
-
-error_t
-_pager_do_mach_notify_dead_name (struct port_info *pi,
-					mach_port_t name
-					  __attribute__ ((unused)))
-{
-  return 0;
-}