2000-03-17 Roland McGrath <roland@baalperazim.frob.com>

	* exec.c (do_exec): Use ports_get_send_right.

1 files changed, 1 insertions, 3 deletions

diff --git a/exec/exec.c b/exec/exec.c
index 0c3ea2a4..8baeb909 100644
--- a/exec/exec.c
+++ b/exec/exec.c
@@ -1873,9 +1873,7 @@ do_exec (file_t file,
     }
 
   {
-    mach_port_t btport = ports_get_right (boot);
-    mach_port_insert_right (mach_task_self (), btport, btport,
-			    MACH_MSG_TYPE_MAKE_SEND);
+    mach_port_t btport = ports_get_send_right (boot);
     e.error = task_set_bootstrap_port (newtask, btport);
     mach_port_deallocate (mach_task_self (), btport);
   }