diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1994-01-19 20:19:00 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1994-01-19 20:19:00 +0000 |
| commit | 5c446584df4adb6f42589da7b5cf5def23a42a81 (patch) | |
| tree | 2d30457e7233c5bc82d6aa1d49c355d091aa14dd /libpager/pager-shutdown.c | |
| parent | 5cc90fba785c75c302e84ef52fbecb8afa935d2f (diff) | |
Formerly pager-shutdown.c.~3~
Diffstat (limited to 'libpager/pager-shutdown.c')
| -rw-r--r-- | libpager/pager-shutdown.c | 3 |
1 files changed, 3 insertions, 0 deletions
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 */ |