From c89f24a2b94a6752da0498a6608990252ee5685a Mon Sep 17 00:00:00 2001
From: Miles Bader <miles@gnu.org>
Date: Sat, 20 Jul 1996 02:36:12 +0000
Subject: (diskfs_get_file_device): Don't deallocate the device port we've
 fetched.

---
 libdiskfs/filedev.c | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/libdiskfs/filedev.c b/libdiskfs/filedev.c
index 31180aed..d7ee7030 100644
--- a/libdiskfs/filedev.c
+++ b/libdiskfs/filedev.c
@@ -111,8 +111,7 @@ diskfs_get_file_device (char *name,
       *port = ports[0];
 
   /* Deallocate things we don't care about or that we've made copies of.  */
-
-  for (i = 0; i < num_ports; i++)
+  for (i = (err || !port) ? 0 : 1; i < num_ports; i++)
     if (MACH_PORT_VALID (ports[i]))
       mach_port_deallocate (mach_task_self (), ports[i]);
 
-- 
cgit v1.2.3