diff options
| author | Marcus Brinkmann <marcus@gnu.org> | 2000-10-18 15:21:52 +0000 |
|---|---|---|
| committer | Marcus Brinkmann <marcus@gnu.org> | 2000-10-18 15:21:52 +0000 |
| commit | 45f883fe5df3e167e2f54b99619a43dc5e4b133a (patch) | |
| tree | 1577581eb796841f0f795a7e1dd767e06324fbab | |
| parent | f4814f877d82f6242c95c10bb661fadecc5ab24b (diff) | |
2000-10-18 Marcus Brinkmann <marcus@gnu.org>
* devprobe.c (main): Call device_close before freeing the device
port.
| -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); |