[hurd] 18/21: pfinet: really deallocate device port

[Samuel Thibault]

This is an automated email from the git hooks/post-receive script.

sthibault pushed a commit to branch upstream
in repository hurd.

commit a9a4f69ad7bd02209fdce02b28c701c23fe48a15
Author: Samuel Thibault <address@hidden>
Date:   Wed Jan 29 00:08:48 2014 +0100

    pfinet: really deallocate device port
    
    * pfinet/ethernet.c (ethernet_close): Call mach_port_deallocate on
    device port.
---
 pfinet/ethernet.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pfinet/ethernet.c b/pfinet/ethernet.c
index 3b0d27b..053fd1b 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;
 }
 

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-hurd/hurd.git