From 04598df21af6c0dcac1e4c1ac4431aa1f0996e0f Mon Sep 17 00:00:00 2001
From: "Michael I. Bushnell" <mib@gnu.org>
Date: Mon, 17 Jan 1994 21:05:08 +0000
Subject: Formerly no-senders.c.~3~

---
 libpager/no-senders.c | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/libpager/no-senders.c b/libpager/no-senders.c
index cd5e4fd3..0a62cf12 100644
--- a/libpager/no-senders.c
+++ b/libpager/no-senders.c
@@ -59,3 +59,17 @@ pager_no_senders (struct pager *p,
 }
 
 
+/* Called by port management routines when the last send-right
+   to a pager has gone away.  This is a dual of pager_create.  */
+void
+pager_clean (void *arg)
+{
+  struct pager *p = arg;
+  
+  if (p->pager_state != NOTINIT)
+    panic ("pager not terminated"); /* XXX */
+  
+  pager_clean_user_data (p->upi);
+  
+  /* Should remove from list. XXX */
+}
-- 
cgit v1.2.3