diff options
-rw-r--r-- | utils/ChangeLog | 5 | ||||
-rw-r--r-- | utils/devprobe.c | 2 |
2 files changed, 7 insertions, 0 deletions
diff --git a/utils/ChangeLog b/utils/ChangeLog index 21d1b5b4..2eb8f4eb 100644 --- a/utils/ChangeLog +++ b/utils/ChangeLog @@ -1,3 +1,8 @@ +2000-10-18 Marcus Brinkmann <marcus@gnu.org> + + * devprobe.c (main): Call device_close before freeing the device + port. + 2000-07-27 Thomas Bushnell, BSG <tb@mit.edu> * portinfo.c: Comment out unimplemented argument 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); |