From 8927fbd63e29005ddb9b2c2264046089bf669857 Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Tue, 8 Apr 2014 12:35:01 +0200
Subject: fix a receiver lookup

* mig-decls.h: New file.
* mig-mutate.h: Likewise.
* Makefile (MIGSFLAGS): Use mig-mutate.h.
* random.c (S_startup_dosync): Fix the receiver lookup.
---
 random.c | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'random.c')

diff --git a/random.c b/random.c
index 5ef814f4..ca963580 100644
--- a/random.c
+++ b/random.c
@@ -524,11 +524,8 @@ struct port_class *shutdown_notify_class;
 /* The system is going down; destroy all the extant port rights.  That
    will cause net channels and such to close promptly.  */
 error_t
-S_startup_dosync (mach_port_t handle)
+S_startup_dosync (struct port_info *inpi)
 {
-  struct port_info *inpi = ports_lookup_port (fsys->pi.bucket, handle,
-					      shutdown_notify_class);
-
   if (!inpi)
     return EOPNOTSUPP;
 
-- 
cgit v1.2.3