diff options
| -rw-r--r-- | pfinet/ethernet.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pfinet/ethernet.c b/pfinet/ethernet.c index 3b0d27b5..053fd1be 100644 --- a/pfinet/ethernet.c +++ b/pfinet/ethernet.c @@ -243,6 +243,7 @@ ethernet_close (struct device *dev) ports_destroy_right (edev->readpt); edev->readpt = NULL; device_close (edev->ether_port); + mach_port_deallocate (mach_task_self (), edev->ether_port); edev->ether_port = MACH_PORT_NULL; } |