entered into RCS

1 files changed, 2 insertions, 5 deletions

diff --git a/pfinet/devices.c b/pfinet/devices.c
index 6d066e8e..371bbdee 100644
--- a/pfinet/devices.c
+++ b/pfinet/devices.c
@@ -30,18 +30,15 @@ device_t master_device;
 void
 init_devices (void)
 {
-  mach_port_t priv_host;
   error_t err;
-  
-  err = get_privileged_ports (&priv_host, &master_device);
+
+  err = get_privileged_ports (0, &master_device);
   if (err)
     {
       perror ("Cannot fetch master device port");
       exit (1);
     }
   
-  mach_port_deallocate (mach_task_self (), priv_host);
-  
   dev_base = 0;
 }