From 5c446584df4adb6f42589da7b5cf5def23a42a81 Mon Sep 17 00:00:00 2001
From: "Michael I. Bushnell" <mib@gnu.org>
Date: Wed, 19 Jan 1994 20:19:00 +0000
Subject: Formerly pager-shutdown.c.~3~

---
 libpager/pager-shutdown.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/libpager/pager-shutdown.c b/libpager/pager-shutdown.c
index 08d3c442..c3bd1f63 100644
--- a/libpager/pager-shutdown.c
+++ b/libpager/pager-shutdown.c
@@ -15,6 +15,8 @@
    along with this program; if not, write to the Free Software
    Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. */
 
+#include "priv.h"
+#include <mach/notify.h>
 
 void
 pager_shutdown (struct pager *p)
@@ -32,6 +34,7 @@ pager_shutdown (struct pager *p)
 				  MACH_NOTIFY_NO_SENDERS, 0, MACH_PORT_NULL,
 				  MACH_MSG_TYPE_MAKE_SEND_ONCE, &port);
   
+  mutex_unlock (&p->interlock);
   if (port)
     {
       done_with_port (p);		/* pretend send right has died */
-- 
cgit v1.2.3