2000-10-18 Marcus Brinkmann <marcus@gnu.org>

	* devprobe.c (main): Call device_close before freeing the device
	port.

1 files changed, 2 insertions, 0 deletions

diff --git a/utils/devprobe.c b/utils/devprobe.c
index f3ea01f3..4b97a6a4 100644
--- a/utils/devprobe.c
+++ b/utils/devprobe.c
@@ -75,6 +75,8 @@ main (int argc, char **argv)
 	  if (err == 0)
 	    /* Got it.  */
 	    {
+	      device_close (device);
+
 	      /* Free the device port we got.  */
 	      mach_port_deallocate (mach_task_self (), device);